STM-107: SafelyAdministrated

Authors

            Ivanov, Nikolay and Guo, Hanqing and Yan, Qiben
            

Venue and Year

            ICICS, 2021
            

Original Work

            Rectifying Administrated ERC20 Tokens
            

Defense Modality

            Subtractive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            source code => source code
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            malicious contract
            

Targeted Vulnerabilities