<<< BACK <<<

STM-007: ZEUS

Authors

            Kalra, Sukrit and Goel, Seep and Dhawan, Mohan and Sharma, Subodh

Venue and Year

            NDSS, 2018

Original Work

            ZEUS: Analyzing Safety of Smart Contracts

Defense Modality

            Additive

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