<<< BACK <<<

STM-063: eThor

Authors

            Schneidewind, Clara and Grishchenko, Ilya and Scherer, Markus and Maffei, Matteo

Venue and Year

            CCS, 2020

Original Work

            eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Defense Modality

            Additive

Core Method(s)

            static analysis + formal

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities