<<< BACK <<<

STM-115:

Authors

            Le, Ton Chanh and Xu, Lei and Chen, Lin and Shi, Weidong

Venue and Year

            BCC, 2018

Original Work

            Proving Conditional Termination for Smart Contracts

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            source code => report

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities