STM-053:

Authors

            Li, Xiaoyu and Su, Cheng and Xiong, Yan and Huang, Wenchao and Wang, Wansen
            

Venue and Year

            BIGCOM, 2019
            

Original Work

            Formal Verification of BNB Smart Contract
            

Defense Modality

            Additive
            

Core Method(s)

            formal
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            BNB ERC20 token
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities