<<< BACK <<<

STM-001: Oyente

Authors

            Luu, Loi and Chu, Duc-Hiep and Olickel, Hrishi and Saxena, Prateek and Hobor, Aquinas

Venue and Year

            CCS, 2016

Original Work

            Making Smart Contracts Smarter

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