<<< BACK <<<

STM-032: HoneyBadger

Authors

            Torres, Christof Ferreira and Steichen, Mathis and others

Venue and Year

            USENIX Security, 2019

Original Work

            The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            static analysis + symbolic execution

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            malicious contract

Targeted Vulnerabilities