STM-078: SMARTSHIELD

Authors

            Zhang, Yuyao and Ma, Siqi and Li, Juanru and Li, Kailai and Nepal, Surya and Gu, Dawu
            

Venue and Year

            SANER, 2020
            

Original Work

            SMARTSHIELD: Automatic Smart Contract Protection Made Easy
            

Defense Modality

            Subtractive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            bytecode => bytecode + report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities