<<< BACK <<<

STM-085: OpenBalthazar

Authors

            Arga{\~n}araz, Mauro and Ber{\'o}n, Mario and Pereira, Maria Jo{\~a}o and Henriques, Pedro

Venue and Year

            SLATE, 2020

Original Work

            Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities