Arga{\~n}araz, Mauro and Ber{\'o}n, Mario and Pereira, Maria Jo{\~a}o and Henriques, Pedro
SLATE, 2020
Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms
Subtractive
static analysis
source code => report
Any Ethereum
both