<<< BACK <<<

STM-093: EOSAFE

Authors

            He, Ningyu and Zhang, Ruiyi and Wang, Haoyu and Wu, Lei and Luo, Xiapu and Guo, Yao and Yu, Ting and Jiang, Xuxian

Venue and Year

            USENIX Security, 2021

Original Work

            EOSAFE: Security Analysis of EOSIO Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            bytecode => report

Targeted Contracts

            EOS

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities