<<< BACK <<<

STM-111:

Authors

            Bai, Xiaomin and Cheng, Zijing and Duan, Zhangbo and Hu, Kai

Venue and Year

            ICSCA, 2018

Original Work

            Formal modeling and verification of smart contracts

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