Publications

Gerardo Iuliano & Dario Di Nucci:
Smart Contract Vulnerabilities, Tools, and Benchmarks: An Updated Systematic Literature Review (2024). Paper.
Tommaso Oss & Carlos E. Budde:
Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms (2024). Paper.
Gabriel Dengler, Laura Carnevali, Carlos E. Budde & Enrico Vicario:
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation (2024). Paper.
Gerardo Iuliano, Davide Corradini, Michele Pasqua, Mariano Ceccato & Dario Di Nucci:
How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study (2025). Paper.
Gerardo Iuliano, Luigi Allocca, Matteo Cicalese & Dario Di Nucci:
Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development (2025). Paper.