<<< BACK <<<

STM-112:

Authors

            Bigi, Giancarlo and Bracciali, Andrea and Meacci, Giovanni and Tuosto, Emilio

Venue and Year

            LNCS, 2015

Original Work

            Validation of Decentralised Smart Contracts through Game Theory and Formal Methods

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            specifications => report

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities