<<< BACK <<<

STM-004: Maian

Authors

            Nikoli{\'c}, Ivica and Kolluri, Aashish and Sergey, Ilya and Saxena, Prateek and Hobor, Aquinas

Venue and Year

            ACSAC, 2018

Original Work

            Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

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