<<< BACK <<<

STM-025: SASC

Authors

            Zhou, Ence and Hua, Song and Pi, Bingfeng and Sun, Jun and Nomura, Yashihide and Yamashita, Kazuhiro and Kurihara, Hidetoshi

Venue and Year

            NTMS, 2018

Original Work

            Security Assurance for Smart Contract

Defense Modality

            Exploratory

Core Method(s)

            static analysis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities