STM-027: Solidity* / EVM*

Authors

            Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C{\'e}dric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and others
            

Venue and Year

            PLAS, 2016
            

Original Work

            Formal Verification of Smart Contracts
            

Defense Modality

            Additive
            

Core Method(s)

            static analysis + formal
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities