Mirko Staderini

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 4

Top Topics

Static Analysis

Document Classification

Top Venues

LADC (Companion)

Publications

Mirko Staderini, András Pataricza, Andrea Bondavalli
Static Analysis Tools Applied to Smart Contracts. LADC (Companion) (2021)
Mirko Staderini, Andrea Bondavalli
Investigation on Vulnerabilities Location in Solidity Smart Contracts. BLOCKCHAIN (2021)
Mirko Staderini, Caterina Palli, Andrea Bondavalli
Classification of Ethereum Vulnerabilities and their Propagations. BCCA (2020)
Mirko Staderini, Enrico Schiavone, Andrea Bondavalli
A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains. SRDS (2018)