<<< BACK <<<

STM-073: Seraph

Authors

            Yang, Zhiqiang and Liu, Han and Li, Yue and Zheng, Huixuan and Wang, Lei and Chen, Bangdao

Venue and Year

            ICSE-Companion, 2020

Original Work

            Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            symbolic execution

Input-Output Mapping

            source code => report

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities