<<< BACK <<<

STM-065: SafePay

Authors

            Li, Yue and Liu, Han and Yang, Zhiqiang and Ren, Qian and Wang, Lei and Chen, Bangdao

Venue and Year

            ICDCS, 2020

Original Work

            SAFEPAY on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            symbolic execution

Input-Output Mapping

            source code | bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities