Skip to content

Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.

Matteo Maffei

VenueCICISSP
Year2021
ProceedingsICISSP

Browse the full ICISSP paper archive.