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]
@inproceedings{ChaliasosCZGGML24,
title = {Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?},
author = {Stefanos Chaliasos and Marcos Antonios Charalambous and Liyi Zhou and Rafaila Galanopoulou and Arthur Gervais and Dimitris Mitropoulos and Benjamin Livshits},
year = {2024},
doi = {10.1145/3597503.3623302},
url = {https://doi.org/10.1145/3597503.3623302},
researchr = {https://researchr.org/publication/ChaliasosCZGGML24},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024},
publisher = {ACM},
}