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
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.
Topics & Concepts
Smart contractBlockchainComputer securityBusinessComputer scienceFinanceRisk analysis (engineering)Blockchain Technology Applications and SecurityFinTech, Crowdfunding, Digital FinanceCybercrime and Law Enforcement Studies