STM-086: sGUARD

Authors

            Nguyen, Tai D and Pham, Long H and Sun, Jun and Lin, Yun and Minh, Quang Tran
            

Venue and Year

            Oakland, 2021
            

Original Work

            sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
            

Defense Modality

            Additive
            

Core Method(s)

            static analysis + formal
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities