<<< BACK <<<

STM-110:

Authors

            Abdellatif, Tesnim and Brousmiche, Kei-L{\'e}o

Venue and Year

            NTMS, 2018

Original Work

            Formal verification of smart contracts based on users and blockchain behaviors models

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            chain data => report

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities