<<< BACK <<<

STM-076: Echidna

Authors

            Grieco, Gustavo and Song, Will and Cygan, Artur and Feist, Josselin and Groce, Alex
            

Venue and Year

            ISSTA, 2020
            

Original Work

            Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            fuzzing
            

Input-Output Mapping

            bytecode + specifications => report + metadata
            

Targeted Contracts

            Any Ethereum
            

Threat Model

Vulnerable contract, malicious contract, or both
            both
            

Targeted Vulnerabilities