A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains. - Mirko Staderini; Enrico Schiavone; Andrea Bondavalli (SRDS, 2018)

Classification of Ethereum Vulnerabilities and their Propagations. - Mirko Staderini; Caterina Palli; Andrea Bondavalli (BCCA, 2020)

Investigation on Vulnerabilities Location in Solidity Smart Contracts. - Mirko Staderini; Andrea Bondavalli (BLOCKCHAIN, 2021)

Static Analysis Tools Applied to Smart Contracts. - Mirko Staderini; András Pataricza; Andrea Bondavalli (LADC (Companion), 2021)