<<< BACK <<<

STM-080:

Authors

            Cecchetti, Ethan and Yao, Siqiu and Ni, Haobin and Myers, Andrew C

Venue and Year

            FAB, 2020

Original Work

            Securing Smart Contracts with Information Flow

Defense Modality

            Additive

Core Method(s)

            code synthesis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities