Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Abstract
The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract development. However, attacks targeting smart contracts are increasing, causing an estimated $6.45 billion in financial losses. Researchers have proposed various automated security tools to detect vulnerabilities, but their real-world impact remains uncertain.
BibTeX
@inproceedings{Chaliasos-al:ICSE24,
author = {Stefanos Chaliasos and
Marcos Antonios Charalambous and
Liyi Zhou and
Rafaila Galanopoulou and
Arthur Gervais and
Dimitris Mitropoulos and
Benjamin Livshits},
title = {Smart Contract and {DeFi} Security Tools: Do They Meet the Needs of Practitioners?},
booktitle = {ICSE},
pages = {60:1--60:13},
publisher = {{ACM}},
year = {2024},
}