Chaliasos, Stefanos;    Charalambous, Marcos Antonios;    Zhou, Liyi;    Galanopoulou, Rafaila;    Gervais, Arthur;    Mitropoulos, Dimitris;    Livshits, Benjamin;      (2024)    Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?                     In:  Proceedings of the 46th International Conference on Software Engineering (ICSE 2024).  (pp. art no-60).  Association for Computing Machinery (ACM): Lisbon, Portugal.       Green open access