Chaliasos, S; Galanopoulou, R; Charalambous, MA; Gervais, A; Livshits, B; Zhou, L; Mitropoulos, D; (2024) Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. (pp. pp. 1-13). ACM (Association for Computing Machinery)