STM-042: VULTRON

Authors

            Wang, Haijun and Li, Yi and Lin, Shang-Wei and Ma, Lei and Liu, Yang
            

Venue and Year

            ICSE-NIER, 2019
            

Original Work

            VULTRON: Catching Vulnerable Smart Contracts Once and for All
            

Defense Modality

            Subtractive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities