<<< BACK <<<

STM-003: Securify

Authors

            Tsankov, Petar and Dan, Andrei and Drachsler-Cohen, Dana and Gervais, Arthur and Buenzli, Florian and Vechev, Martin

Venue and Year

            CCS, 2018

Original Work

            Securify: Practical Security Analysis of Smart Contracts

Defense Modality

            Subtractive + Additive

Core Method(s)

            static analysis

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities