Cryptography and Security · Computer Science
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study
Christoph Sendner, Lukas Petzi, Jasper Stang, Alexandra Dmitrienko
2023-12-29
Software Engineering · Computer Science
SmartBugs: A Framework to Analyze Solidity Smart Contracts
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu
2020-07-13
Cryptography and Security · Computer Science
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey
Purathani Praitheeshan, Lei Pan, Jiangshan Yu, Joseph Liu +1
2020-09-18
Software Engineering · Computer Science
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz
2020-02-11
Cryptography and Security · Computer Science
Decompiling Smart Contracts with a Large Language Model
Isaac David, Liyi Zhou, Dawn Song, Arthur Gervais +1
2025-06-25
Software Engineering · Computer Science
How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study
Gerardo Iuliano, Davide Corradini, Michele Pasqua, Mariano Ceccato +1
2025-04-09
Software Engineering · Computer Science
An empirical analysis of vulnerability detection tools for solidity smart contracts
Francesco Salzano, Cosmo Kevin Antenucci, Simone Scalabrino, Giovanni Rosa +2
2026-05-19
Software Engineering · Computer Science
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo +2
2024-09-20
Software Engineering · Computer Science
Smart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review
Gerardo Iuliano, Dario Di Nucci
2026-03-25
Cryptography and Security · Computer Science
EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract
Hong-Sheng Huang, Jen-Yi Ho, Hao-Wen Chen, Hung-Min Sun
2025-04-15
Software Engineering · Computer Science
Bug Searching in Smart Contract
Xiaotao Feng, Qin Wang, Xiaogang Zhu, Sheng Wen
2019-05-03
Software Engineering · Computer Science
SolEval: Benchmarking Large Language Models for Repository-level Solidity Code Generation
Zhiyuan Peng, Xin Yin, Rui Qian, Peiqin Lin +4
2025-08-27
Cryptography and Security · Computer Science
Verifying liquidity of recursive Bitcoin contracts
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
2023-06-22
Distributed, Parallel, and Cluster Computing · Computer Science
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
Zhiyuan Wei, Xianhao Zhang, Jing Sun, Zijian Zhang +1
2024-12-12
Cryptography and Security · Computer Science
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza +2
2025-09-30
Cryptography and Security · Computer Science
Exploring Security Practices of Smart Contract Developers
Tanusree Sharma, Zhixuan Zhou, Andrew Miller, Yang Wang
2022-04-26
Cryptography and Security · Computer Science
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Yiming Shen, Jiachi Chen, Jianzhong Su +4
2024-08-12
Cryptography and Security · Computer Science
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
2021-01-18