STM-014: Osiris

Authors

            Torres, Christof Ferreira and Sch{\"u}tte, Julian and State, Radu
            

Venue and Year

            ACSAC, 2018
            

Original Work

            Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            symbolic execution
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities