ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically-Reference-Cited by-同舟云学术

ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically

Published:2022-06 Issue:2 Volume:71 Page:984-999
ISSN:0018-9529
Container-title:IEEE Transactions on Reliability
language:
Short-container-title:IEEE Trans. Rel.

Author:

Li Bixin¹^ORCID,Pan Zhenyu¹^ORCID,Hu Tianyuan¹^ORCID

Affiliation:

1. School of Computer Science and Engineering, Southeast University, Nanjing, China

Funder

National Key Research and Development Program of China

Norges Forskningsråd

Key Research and Development Program of Jiangsu Province

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Safety, Risk, Reliability and Quality

Link

http://xplorestaging.ieee.org/ielx7/24/9787285/09756450.pdf?arnumber=9756450

Reference40 articles.

1. Coverage-Based Greybox Fuzzing as Markov Chain

2. Smartest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution;so;Proc 30th $\lbrace$USENIX$\rbrace$ Secur Symp,0

3. How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

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

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

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

2. OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities;Empirical Software Engineering;2024-06-18

3. Detection of malicious smart contracts by fine‐tuning GPT‐3;SECURITY AND PRIVACY;2024-06-09

4. Enhancing smart contract security: Leveraging pre‐trained language models for advanced vulnerability detection;IET Blockchain;2024-03-29

5. DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts;Automated Software Engineering;2024-03-01