STM-022: GASPER

Authors

            Chen, Ting and Li, Xiaoqi and Luo, Xiapu and Zhang, Xiaosong
            

Venue and Year

            SANER, 2017
            

Original Work

            Under-Optimized Smart Contracts Devour Your Money
            

Defense Modality

            Subtractive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            malicious contract
            

Targeted Vulnerabilities