STM-039: BitML

Authors

            Atzei, Nicola and Bartoletti, Massimo and Lande, Stefano and Yoshida, Nobuko and Zunino, Roberto
            

Venue and Year

            ESEC/FSE, 2019
            

Original Work

            Developing Secure Bitcoin Contracts with BitML
            

Defense Modality

            Additive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            chain data + specifications => report + exploits
            

Targeted Contracts

            Non-Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities