<<< BACK <<<

STM-029: Model-Checking

Authors

            Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic

Venue and Year

            ICBC, 2018

Original Work

            Model-Checking of Smart Contracts

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            specifications + source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities