<<< BACK <<<

STM-043: SAFEVM

Authors

            Albert, Elvira and Correas, Jes{\'u}s and Gordillo, Pablo and Rom{\'a}n-D{\'\i}ez, Guillermo and Rubio, Albert

Venue and Year

            ISSTA, 2019

Original Work

            SAFEVM: A Safety Verifier for Ethereum Smart Contracts

Defense Modality

            Subtractive + Additive

Core Method(s)

            static analysis

Input-Output Mapping

            source code | bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities