ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively-Reference-Cited by-同舟云学术

ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively

Published:2021-12 Issue: Volume: Page:
ISSN:
Container-title:2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
language:
Short-container-title:

Author:

Pan Zhenyu¹,Hu Tianyuan¹,Qian Chen¹,Li Bixin¹

Affiliation:

1. Southeast University,School of Computer Science and Engineering,Nanjing,Jiangsu Province,P.R. China,211189

Funder

National Key Research and Development Program of China

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9724650/9724651/09724842.pdf?arnumber=9724842

Reference18 articles.

1. Empirical review of automated analysis tools on 47,587 Ethereum smart contracts

2. ContractFuzzer: fuzzing smart contracts for vulnerability detection

3. Echidna: effective, usable, and fast fuzzing for smart contracts

4. Slither: a static anal-ysis framework for smart contracts;feist;2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB),0

5. Osiris

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

1. Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts;Model and Data Engineering;2023-12-22

2. Preventing Ethereum Blockchain Re-Entrancy Attacks Using Smart Mutex Lock Sum;2023 4th International Conference on Computation, Automation and Knowledge Management (ICCAKM);2023-12-12

3. A New Smart Contract Anomaly Detection Method by Fusing Opcode and Source Code Features for Blockchain Services;IEEE Transactions on Network and Service Management;2023-12

4. OC-Detector: Detecting Smart Contract Vulnerabilities Based on Clustering Opcode Instructions;International Journal of Software Engineering and Knowledge Engineering;2023-11-20

5. Exploiting Bytecode Analysis for Reentrancy Vulnerability Detection in Ethereum Smart Contracts;2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2023-11-14