Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits. 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, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]

Authors

Stefanos Chaliasos

This author has not been identified. It may be one of the following persons: Look up 'Stefanos Chaliasos' in Google

Marcos Antonios Charalambous

This author has not been identified. Look up 'Marcos Antonios Charalambous' in Google

Liyi Zhou

This author has not been identified. Look up 'Liyi Zhou' in Google

Rafaila Galanopoulou

This author has not been identified. Look up 'Rafaila Galanopoulou' in Google

Arthur Gervais

This author has not been identified. Look up 'Arthur Gervais' in Google

Dimitris Mitropoulos

This author has not been identified. It may be one of the following persons: Look up 'Dimitris Mitropoulos' in Google

Benjamin Livshits

This author has not been identified. Look up 'Benjamin Livshits' in Google