<<< BACK <<<

STM-030: EtherTrust

Authors

            Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara

Venue and Year

            , 2018

Original Work

            EtherTrust: Sound Static Analysis of Ethereum bytecode

Defense Modality

            Subtractive

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