STM-006: KEVM

Authors

            Hildenbrandt, Everett and Saxena, Manasvi and Rodrigues, Nishant and Zhu, Xiaoran and Daian, Philip and Guth, Dwight and Moore, Brandon and Park, Daejun and Zhang, Yi and Stefanescu, Andrei and others
            

Venue and Year

            CSF, 2018
            

Original Work

            KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
            

Defense Modality

            Exploratory
            

Core Method(s)

            formal
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities