STM-009: ECFChecker

Authors

            Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni
            

Venue and Year

            POPL, 2017
            

Original Work

            Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
            

Defense Modality

            Additive
            

Core Method(s)

            execution tracing + transaction interception
            

Input-Output Mapping

            chain data => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities