Harvey: A Greybox Fuzzer for Smart Contracts

15 May 2019

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

50 / 51 papers shown

Title
Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis Binbin Zhao Xingshuang Lin Yuan Tian Saman Zonouz Na Ruan Jiliang Li R. Beyah Shouling Ji 95 1 0 31 Mar 2025
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks Bosi Zhang Ningyu He Xiaohui Hu Kai Ma Haoyu Wang AAML 124 2 0 06 Feb 2025
Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum Cheng-Kang Chen Wen-Yi Chu Muoi Tran Laurent Vanbever Hsu-Chun Hsiao 47 2 0 20 Sep 2024
Detecting Buggy Contracts via Smart Testing Sally Junsong Wang Jianan Yao Kexin Pei Hidedaki Takahashi Junfeng Yang 61 2 0 06 Sep 2024
DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts I. Medeiros Fausto Carvalho Alexandre Ferreira Rodrigo Bonifácio Fabiano Cavalcanti Fernandes 28 0 0 03 Sep 2024
CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection Xiao Chen 53 3 0 27 Aug 2024
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols Hongbo Wen Hanzhi Liu Jiaxin Song Yanju Chen Wenbo Guo Yu Feng AAML 49 3 0 08 Jul 2024
SQLaser: Detecting DBMS Logic Bugs with Clause-Guided Fuzzing Jin Wei Ping Chen Kangjie Lu Jun Dai Xiaoyan Sun 30 0 0 05 Jul 2024
Dual-view Aware Smart Contract Vulnerability Detection for Ethereum Jiacheng Yao Maolin Wang Wanqi Chen Chengxiang Jin Jiajun Zhou Shanqing Yu Qi Xuan 77 0 0 29 Jun 2024
I Experienced More than 10 DeFi Scams: On DeFi Users' Perception of Security Breaches and Countermeasures Mingyi Liu J. Huh HyungSeok Han Jaehyuk Lee Jihae Ahn Frank Li Hyoungshick Kim Taesoo Kim 31 1 0 22 Jun 2024
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers Sébastien Andreina Tobias Cloosters Lucas Davi Jens-Rene Giesen Marco Gutfleisch Ghassan O. Karame Alena Naiakshina Houda Naji LRM 36 1 0 19 Jun 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long 84 12 0 22 Apr 2024
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey Wejdene Haouari A. Hafid Marios Fokaefs 52 3 0 28 Mar 2024
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models Chaofan Shou Jing Liu Doudou Lu Koushik Sen 75 14 0 20 Jan 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 49 2 0 27 Dec 2023
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing Peng Qian Hanjie Wu Zeren Du Turan Vural Dazhong Rong Yanbin Wang Lun Zhang Yanbin Wang Jianhai Chen Qinming He 79 5 0 07 Dec 2023
Survey on Quality Assurance of Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Xiaoxuan Yang Liehuang Zhu 93 8 0 01 Nov 2023
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Meng Li Liehuang Zhu ELM 54 2 0 31 Oct 2023
Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives Sihao Hu Tiansheng Huang Fatih İlhan Selim Furkan Tekin Ling Liu 95 56 0 02 Oct 2023
Fuzz on the Beach: Fuzzing Solana Smart Contracts Sven Smolka Jens-Rene Giesen Pascal Winkler Oussama Draissi Lucas Davi Ghassan O. Karame Klaus Pohl 49 16 0 06 Sep 2023
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair Peng Qian Rui Cao Zhenguang Liu Wenqing Li Ming Li Lun Zhang Yufeng Xu Jianhai Chen Qinming He 104 8 0 05 Sep 2023
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Yuqiang Sun Daoyuan Wu Yue Xue Hangbo Liu Haijun Wang Zhengzi Xu Xiaofei Xie Yang Liu 64 96 0 07 Aug 2023
An Empirical Study of AI-based Smart Contract Creation Rabimba Karanjai Edward Li Lei Xu W. Shi 75 10 0 05 Aug 2023
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract Chaofan Shou Shangyin Tan Koushik Sen 51 62 0 29 Jun 2023
Do you still need a manual smart contract audit? Isaac David Liyi Zhou Kaihua Qin Basel Alomair Lorenzo Cavallaro Arthur Gervais 80 51 0 21 Jun 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 65 26 0 25 Apr 2023
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection Peng Qian Jianting He Lingling Lu Siwei Wu Zhipeng Lu Lei Wu Yajin Zhou Qinming He 53 16 0 25 Apr 2023
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation Michael Rodler D. Paaßen Wenting Li Lukas Bernhard Thorsten Holz Ghassan O. Karame Lucas Davi 42 19 0 13 Apr 2023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? Stefanos Chaliasos Marcos Antonios Charalambous Liyi Zhou R. Galanopoulou Arthur Gervais Dimitris Mitropoulos B. Livshits 62 46 0 06 Apr 2023
The Blockchain Imitation Game Kaihua Qin Stefanos Chaliasos Liyi Zhou B. Livshits Basel Alomair Arthur Gervais AAML 72 32 0 31 Mar 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 89 40 0 14 Feb 2023
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts Nikolay Ivanov Qiben Yan Anurag Kompalli 69 20 0 20 Jan 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 81 13 0 15 Jan 2023
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting Zhenguang Liu Peng Qian Jiaxu Yang Lingfeng Liu Xiaojun Xu Qinming He Xiaosong Zhang 67 63 0 10 Jan 2023
Vulnerability Analysis of Smart Contracts S. Vani M. Doshi A. Nanavati A. Kundu 42 7 0 14 Dec 2022
AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts Jianfei Zhou Tianxing Jiang Shuwei Song Ting Chen 114 2 0 02 Nov 2022
An Empirical Study on Ethereum Private Transactions and the Security Implications Xing-Long Lyu Mengya Zhang Xiaokuan Zhang Jianyu Niu Yinqian Zhang Zhiqiang Lin 91 21 0 04 Aug 2022
Penny Wise and Pound Foolish: Quantifying the Risk of Unlimited Approval of ERC20 Tokens on Ethereum Dabao Wang Hang Feng Siwei Wu Yajin Zhou Lei Wu Lizhen Qu 63 15 0 05 Jul 2022
xFuzz: Machine Learning Guided Cross-Contract Fuzzing Yinxing Xue Jiaming Ye Wei Zhang Jun Sun Lei Ma Haijun Wang Jianjun Zhao 68 43 0 24 Nov 2021
HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection Mengjie Ding Peiru Li Shanshan Li He Zhang 102 34 0 21 Jun 2021
DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications Siwei Wu Dabao Wang Jianting He Yajin Zhou Lei Wu Lizhen Qu Qinming He K. Ren AAML 64 67 0 30 Apr 2021
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose Dipanjan Das Yanju Chen Yu Feng Christopher Kruegel Giovanni Vigna 60 100 0 17 Apr 2021
ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning O. Lutz Huili Chen Hossein Fereidooni Christoph Sendner Alexandra Dmitrienko A. Sadeghi F. Koushanfar 68 47 0 23 Mar 2021
Towards A First Step to Understand Flash Loan and Its Applications in DeFi Ecosystem Dabao Wang Siwei Wu Ziling Lin Lei Wu Lizhen Qu Yajin Zhou Haoyu Wang K. Ren 81 29 0 23 Oct 2020
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts C. F. Torres Antonio Ken Iannillo Arthur Gervais R. State 23 6 0 25 May 2020
Time-Travel Investigation: Towards Building A Scalable Attack Detection Framework on Ethereum Lei Wu Siwei Wu Yajin Zhou Runhuai Li Zhi Wang Xiapu Luo Cong Wang K. Ren 46 13 0 17 May 2020
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks C. F. Torres Mathis Baden Robert Norvill Beltran Borja Fiz Pontiveros H. Jonker S. Mauw 65 47 0 12 Mar 2020
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Kaihua Qin Liyi Zhou B. Livshits Arthur Gervais 83 204 0 08 Mar 2020
Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures Jiaming Ye Mingliang Ma Yun Lin Lei Ma Yinxing Xue Jianjun Zhao 29 14 0 10 Dec 2019
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses I. Homoliak Sarad Venugopalan Qingze Hum Daniël Reijsbergen Richard Schumi Pawel Szalachowski 76 77 0 22 Oct 2019