<<< BACK <<<

STM-033: ILF

Authors

            He, Jingxuan and Balunovi{\'c}, Mislav and Ambroladze, Nodar and Tsankov, Petar and Vechev, Martin

Venue and Year

            CCS, 2019

Original Work

            Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            fuzzing

Input-Output Mapping

            bytecode | source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities