<<< BACK <<<

STM-023:

Authors

            Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara

Venue and Year

            POST, 2018

Original Work

            A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Defense Modality

            Exploratory

Core Method(s)

            formal

Input-Output Mapping

            bytecode => metadata

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities