STM-108: EXGEN

Authors

            Jin, Ling and Cao, Yinzhi and Chen, Yan and Zhang, Di and Campanoni, Simone
            

Venue and Year

            TDSC, 2021
            

Original Work

            EXGEN: Cross-platform, Automated Exploit Generation for Smart Contract Vulnerabilities
            

Defense Modality

            Subtractive
            

Core Method(s)

            symbolic execution
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any contract
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities