STM-070: Solythesis

Authors

            Li, Ao and Choi, Jemin Andrew and Long, Fan
            

Venue and Year

            SIGPLAN, 2020
            

Original Work

            Securing Smart Contract with Runtime Validation
            

Defense Modality

            Additive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            source code => source code
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities