<<< BACK <<<

STM-118: SmartScopy

Authors

            Feng, Yu and Torlak, Emina and Bodik, Rastislav

Venue and Year

            arXiv, 2019

Original Work

            Precise Attack Synthesis for Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            fuzzing

Input-Output Mapping

            bytecode + ABI => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities