<<< BACK <<<

STM-019: MadMax

Authors

            Grech, Neville and Kong, Michael and Jurisevic, Anton and Brent, Lexi and Scholz, Bernhard and Smaragdakis, Yannis

Venue and Year

            OOPSLA, 2018

Original Work

            MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities