STM-015: Vandal

Authors

            Brent, Lexi and Jurisevic, Anton and Kong, Michael and Liu, Eric and Gauthier, Francois and Gramoli, Vincent and Holz, Ralph and Scholz, Bernhard
            

Venue and Year

            arXiv, 2018
            

Original Work

            Vandal: A Scalable Security Analysis Framework for Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities