<<< BACK <<<

STM-002: Mythril

Authors

            Mueller, Bernhard

Venue and Year

            HITBSecConf, 2018

Original Work

            Smashing Ethereum Smart Contracts for Fun and Real Profit

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