STM-059: TxSpector

Authors

            Zhang, Mengya and Zhang, Xiaokuan and Zhang, Yinqian and Lin, Zhiqiang
            

Venue and Year

            USENIX Security, 2020
            

Original Work

            TxSpector: Uncovering Attacks in Ethereum from Transactions
            

Defense Modality

            Exploratory
            

Core Method(s)

            static analysis + execution tracing
            

Input-Output Mapping

            chain data => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities