<<< BACK <<<

STM-061: ETHBMC

Authors

            Frank, Joel and Aschermann, Cornelius and Holz, Thorsten

Venue and Year

            USENIX Security, 2020

Original Work

            ETHBMC: A Bounded Model Checker for Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            symbolic execution

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities