Harvey: a greybox fuzzer for smart contracts-Reference-Cited by-同舟云学术

Harvey: a greybox fuzzer for smart contracts

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Wüstholz Valentin¹,Christakis Maria²

Affiliation:

1. ConsenSys, Germany

2. MPI-SWS, Germany

Funder

German Research Foundation (DFG)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3368089.3417064

Reference86 articles.

1. [n.d.]. The AFL Vulnerability Trophy Case. http://lcamtuf.coredump.cx/afl/#bugs. [n.d.]. The AFL Vulnerability Trophy Case. http://lcamtuf.coredump.cx/afl/#bugs.

2. [n.d.]. Echidna. https://github.com/trailofbits/echidna. [n.d.]. Echidna. https://github.com/trailofbits/echidna.

3. [n.d.]. Ethereum. https://github.com/ethereum. [n.d.]. Ethereum. https://github.com/ethereum.

4. [n.d.]. Ethereum White Paper. https://github.com/ethereum/wiki/wiki/WhitePaper. [n.d.]. Ethereum White Paper. https://github.com/ethereum/wiki/wiki/WhitePaper.

5. [n.d.]. LibFuzzer-A Library for Coverage-Guided Fuzz Testing. https://llvm. org/docs/LibFuzzer.html. [n.d.]. LibFuzzer-A Library for Coverage-Guided Fuzz Testing. https://llvm. org/docs/LibFuzzer.html.

Cited by 109 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DFier: A directed vulnerability verifier for Ethereum smart contracts;Journal of Network and Computer Applications;2024-11

2. Survey on Quality Assurance of Smart Contracts;ACM Computing Surveys;2024-09-14

3. Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. A Survey of Ethereum Smart Contract Security: Attacks and Detection;Distributed Ledger Technologies: Research and Practice;2024-09-09