STM-066: Solar

Authors

            Feng, Yu and Torlak, Emina and Bodik, Rastislav
            

Venue and Year

            ASE, 2020
            

Original Work

            Summary-Based Symbolic Evaluation for Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            code synthesis + symbolic execution
            

Input-Output Mapping

            specifications => source code
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities