ContractFuzzer: fuzzing smart contracts for vulnerability detection-Reference-Cited by-同舟云学术

ContractFuzzer: fuzzing smart contracts for vulnerability detection

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Jiang Bo¹,Liu Ye¹,Chan W. K.²

Affiliation:

1. Beihang University, China

2. City University of Hong Kong, China

Publisher

ACM

Link

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

Reference34 articles.

1. A Survey of Attacks on Ethereum Smart Contracts (SoK)

2. D. Aitel. SPIKE. http://immunityinc.com/resourcesfreesoftware.shtml 2002. D. Aitel. SPIKE. http://immunityinc.com/resourcesfreesoftware.shtml 2002.

3. Formal Verification of Smart Contracts

4. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab

5. M. Eddington. Peach. http://www.peachfuzzer.com 2004. M. Eddington. Peach. http://www.peachfuzzer.com 2004.

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

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

2. Vulnerability detection techniques for smart contracts: A systematic literature review;Journal of Systems and Software;2024-11

3. FMCF: A fusing multiple code features approach based on Transformer for Solidity smart contracts source code summarization;Applied Soft Computing;2024-11

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

5. Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11