<<< BACK <<<

STM-124:

Authors

            Bartoletti, Massimo and Zunino, Roberto

Venue and Year

            ETAPS, 2019

Original Work

            Verifying liquidity of Bitcoin contracts

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            source code => report

Targeted Contracts

            Bitcoin / BitML

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities