STM-028:

Authors

            Amani, Sidney and B{\'e}gel, Myriam and Bortin, Maksym and Staples, Mark
            

Venue and Year

            CPP, 2018
            

Original Work

            Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL
            

Defense Modality

            Additive
            

Core Method(s)

            static analysis + formal
            

Input-Output Mapping

            bytecode + specifications => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities