Fuzz on the Beach: Fuzzing Solana Smart Contracts

6 September 2023

Papers citing "Fuzz on the Beach: Fuzzing Solana Smart Contracts"

8 / 8 papers shown

Title
HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection Mengjie Ding Peiru Li Shanshan Li He Zhang 86 34 0 21 Jun 2021
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 31 87 0 01 Oct 2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 37 121 0 13 May 2020
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
Harvey: A Greybox Fuzzer for Smart Contracts Valentin Wüstholz M. Christakis 71 188 0 15 May 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 38 255 0 14 Dec 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 59 921 0 04 Jun 2018
Angora: Efficient Fuzzing by Principled Search Peng Chen Hao Chen 35 538 0 04 Mar 2018