<<< BACK <<<

STM-069: Harvey

Authors

            W{\"u}stholz, Valentin and Christakis, Maria

Venue and Year

            ESEC/FSE, 2020

Original Work

            Harvey: A Greybox Fuzzer for Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            fuzzing

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities