Harvey: A Greybox Fuzzer for Smart Contracts

15 May 2019

Papers citing "Harvey: A Greybox Fuzzer for Smart Contracts"

10 / 10 papers shown

Title
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 42 614 0 26 Aug 2019
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mark Mossberg F. Manzano Eric Hennenfent Alex Groce Gustavo Grieco Josselin Feist Trent Brunson Artem Dinaburg 47 313 0 08 Jul 2019
Targeted Greybox Fuzzing with Static Lookahead Analysis Valentin Wüstholz M. Christakis 46 62 0 17 May 2019
Evaluating Fuzz Testing George Klees Andrew Ruef Benji Cooper Shiyi Wei M. Hicks 25 629 0 29 Aug 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 40 692 0 11 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 56 921 0 04 Jun 2018
Angora: Efficient Fuzzing by Principled Search Peng Chen Hao Chen 35 538 0 04 Mar 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 596 0 16 Feb 2018
An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti Livio Pompianu 38 234 0 18 Mar 2017
A Concurrent Perspective on Smart Contracts Ilya Sergey Aquinas Hobor GNN 25 135 0 17 Feb 2017