On the public citation graph

ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically

https://doi.org/10.1109/tr.2022.3161634

0 signed · 79 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/j.jss.2017.06.069openalex-snapshot

Be more familiar with our enemies and pave the way forward: A review of the roles bugs played in software failures

inferredcites →https://doi.org/10.1016/j.pmcj.2020.101227openalex-snapshot

Verification of smart contracts: A survey

inferredcites →https://doi.org/10.1109/ase.2019.00133openalex-snapshot

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

inferredcites →https://doi.org/10.1109/dsa51864.2020.00018openalex-snapshot

A Survey ofNFC Mobile Payment: Challenges and Solutions using Blockchain and Cryptocurrencies

inferredcites →https://doi.org/10.1109/qrs54544.2021.00101openalex-snapshot

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

inferredcites →https://doi.org/10.1109/ssiri.2010.38openalex-snapshot

Recent Catastrophic Accidents: Investigating How Software was Responsible

inferredcites →https://doi.org/10.1109/tse.2017.2785841openalex-snapshot

Coverage-Based Greybox Fuzzing as Markov Chain

inferredcites →https://doi.org/10.1109/tse.2021.3054928openalex-snapshot

DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

inferredcites →https://doi.org/10.1109/wetseb.2019.00008openalex-snapshot

Slither: A Static Analysis Framework for Smart Contracts

inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot

Making Smart Contracts Smarter

inferredcites →https://doi.org/10.1145/2993600.2993611openalex-snapshot

Formal Verification of Smart Contracts

inferredcites →https://doi.org/10.1145/2994581openalex-snapshot

Blockchain beyond bitcoin

inferredcites →https://doi.org/10.1145/3167084openalex-snapshot

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

inferredcites →https://doi.org/10.1145/3194113.3194115openalex-snapshot

SmartCheck

inferredcites →https://doi.org/10.1145/3238147.3238177openalex-snapshot

ContractFuzzer: fuzzing smart contracts for vulnerability detection

inferredcites →https://doi.org/10.1145/3243734.3243780openalex-snapshot

Securify

inferredcites →https://doi.org/10.1145/3274694.3274737openalex-snapshot

Osiris

inferredcites →https://doi.org/10.1145/3274694.3274743openalex-snapshot

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

inferredcites →https://doi.org/10.1145/3276486openalex-snapshot

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

inferredcites →https://doi.org/10.1145/3338906.3341175openalex-snapshot

EVMFuzzer: detect EVM vulnerabilities via fuzz testing

inferredcites →https://doi.org/10.1145/3377811.3380334openalex-snapshot

sFuzz

inferredcites →https://doi.org/10.1145/3377811.3380364openalex-snapshot

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

inferredcites →https://doi.org/10.1145/3395363.3397385openalex-snapshot

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

inferredcites →https://doi.org/10.1145/3395363.3404366openalex-snapshot

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

inferredcites →https://doi.org/10.14722/ndss.2019.23413openalex-snapshot

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

inferredcites →https://doi.org/10.1504/ijwgs.2018.095647openalex-snapshot

Blockchain challenges and opportunities: a survey

inferredcites →https://doi.org/10.2139/ssrn.3440802openalex-snapshot

Bitcoin: A Peer-to-Peer Electronic Cash System

inferredcites →https://doi.org/10.2139/ssrn.3977007openalex-snapshot

Bitcoin: A Peer-to-Peer Electronic Cash System

inferredcites →https://doi.org/10.23940/ijpe.21.05.p1.411421openalex-snapshot

Design Principles and Best Practices of Central Bank Digital Currency

inferredcites →https://doi.org/10.48550/arxiv.1911.09425openalex-snapshot

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4511778openalex-extracted

Vulnerability Detection for Smart Contracts: A Systematic Literature Review

inferred← citeshttps://doi.org/10.1002/9781119781042.ch1openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1002/spy2.430openalex-snapshot

Detection of malicious smart contracts by fine‐tuning GPT‐3

inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_7openalex-snapshot

Selective Presumed Benevolence in Multi-party System Verification

inferred← citeshttps://doi.org/10.1007/978-3-032-28863-9_9openalex-snapshot

Analyzers and Detection Tools for Smart Contracts

inferred← citeshttps://doi.org/10.1007/s00607-026-01616-1openalex-snapshot

Smartguardia: smart contract vulnerability detection based on pruning abstract syntax tree and transfer learning

inferred← citeshttps://doi.org/10.1007/s10207-024-00817-zopenalex-snapshot

Pioneering automated vulnerability detection for smart contracts in blockchain using KEVM: Guardian ADRGAN

inferred← citeshttps://doi.org/10.1007/s10515-024-00418-zopenalex-snapshot

DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts

inferred← citeshttps://doi.org/10.1007/s10586-024-05051-9openalex-snapshot

MLFuzzer: a fuzzing approach based on generative adversarial networks and BiLSTM for detecting vulnerabilities in smart contracts

inferred← citeshttps://doi.org/10.1007/s10664-024-10446-8openalex-snapshot

OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities

inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100347openalex-snapshot

Welcome back: A systematic literature review of smart contract reentrancy and countermeasures

inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107719openalex-snapshot

Dynamic information utilization for securing Ethereum smart contracts: A literature review

inferred← citeshttps://doi.org/10.1016/j.jnca.2025.104142openalex-snapshot

A Comprehensive Survey of Smart Contracts Vulnerability Detection Tools: Techniques and Methodologies

inferred← citeshttps://doi.org/10.1016/j.jpdc.2023.104730openalex-snapshot

Why blockchain needs graph: A survey on studies, scenarios, and solutions

inferred← citeshttps://doi.org/10.1016/j.jss.2024.112160openalex-snapshot

Vulnerability detection techniques for smart contracts: A systematic literature review

inferred← citeshttps://doi.org/10.1016/j.jss.2025.112361openalex-snapshot

An Attention-based Wide and Deep Neural Network for Reentrancy Vulnerability Detection in Smart Contracts

inferred← citeshttps://doi.org/10.1038/s41598-025-14032-wopenalex-snapshot

A graph attention network-based multi-agent reinforcement learning framework for robust detection of smart contract vulnerabilities

inferred← citeshttps://doi.org/10.1049/2023/6631967openalex-snapshot

VdaBSC: A Novel Vulnerability Detection Approach for Blockchain Smart Contract by Dynamic Analysis

inferred← citeshttps://doi.org/10.1049/blc2.12072openalex-snapshot

Enhancing smart contract security: Leveraging pre‐trained language models for advanced vulnerability detection

inferred← citeshttps://doi.org/10.1109/access.2023.3349374openalex-snapshot

The Consumer-Centered Electricity Reliability Enhancement in the Standalone Generation Arena

inferred← citeshttps://doi.org/10.1109/access.2025.3532326openalex-snapshot

Deep Learning-Based Vulnerability Detection Solutions in Smart Contracts: A Comparative and Meta-Analysis of Existing Approaches

inferred← citeshttps://doi.org/10.1109/airc69745.2026.11631382openalex-snapshot

Automated Vulnerability Detection and Risk Prioritization for Smart Contract Reentrancy Attacks Using Ensemble Machine Learning

inferred← citeshttps://doi.org/10.1109/dspp58763.2023.10404628openalex-snapshot

Intelligent Contract Vulnerability Detection Method Based on Bic-RL

inferred← citeshttps://doi.org/10.1109/icccnt56998.2023.10306463openalex-snapshot

Function Locking Fused with Hashing Technique to Mitigate Re-entrancy Attacks in Smart Contract

inferred← citeshttps://doi.org/10.1109/issre59848.2023.00067openalex-snapshot

Evaluating Ethereum Reentrancy Detection Tools via Mutation Testing

inferred← citeshttps://doi.org/10.1109/melecon64486.2026.11418841openalex-snapshot

Smart Contracts and Security: A Comprehensive Survey of Vulnerabilities, Detection Techniques, and Mitigation Strategies

inferred← citeshttps://doi.org/10.1109/tkde.2025.3621621openalex-snapshot

Consensus and Computing Integration for Processing Transactional Graphs in Consortium Blockchain

inferred← citeshttps://doi.org/10.1109/tnse.2024.3447025openalex-snapshot

EvoFuzzer: An Evolutionary Fuzzer for Detecting Reentrancy Vulnerability in Smart Contracts

inferred← citeshttps://doi.org/10.1109/tnse.2025.3583926openalex-snapshot

ContractScanner: Detecting and Localizing Vulnerabilities of Smart Contracts via Graph-Based Semantic Modeling of Source Code

inferred← citeshttps://doi.org/10.1109/tnse.2026.3658785openalex-snapshot

AI-Empowered Smart Contract Vulnerability Detection for Decentralized Blockchain Systems

inferred← citeshttps://doi.org/10.1109/tr.2023.3233999openalex-snapshot

Detect Defects of Solidity Smart Contract Based on the Knowledge Graph

inferred← citeshttps://doi.org/10.1109/tr.2024.3370734openalex-snapshot

PonziFinder: Attention-Based Edge-Enhanced Ponzi Contract Detection

inferred← citeshttps://doi.org/10.1109/tr.2024.3488814openalex-snapshot

ReenSAT: Reentrancy Vulnerability Detection in Smart Contracts Using Semantic-Enhanced SAT Evaluation

inferred← citeshttps://doi.org/10.1109/tr.2024.3494798openalex-snapshot

Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis

inferred← citeshttps://doi.org/10.1109/tsc.2024.3463394openalex-snapshot

A Survey on Security Analysis Methods of Smart Contracts

inferred← citeshttps://doi.org/10.1109/tse.2024.3464539openalex-snapshot

SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts

inferred← citeshttps://doi.org/10.1109/tse.2025.3605379openalex-snapshot

VulFinder: Exploring Chaincode Vulnerabilities More Effectively and Efficiently Using Knowledge Graph Based Defect Pattern Matching

inferred← citeshttps://doi.org/10.1145/3597503.3639152openalex-snapshot

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers

inferred← citeshttps://doi.org/10.1145/3797093openalex-snapshot

Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis

inferred← citeshttps://doi.org/10.1145/3832222openalex-snapshot

Augmenting Multi-technique Static Analysis with Large Language Models: A Neuro-symbolic Approach to Smart Contract Vulnerability Detection

inferred← citeshttps://doi.org/10.1561/3300000044openalex-snapshot

Security Analysis and Formal Verification on Blockchain and its Applications

inferred← citeshttps://doi.org/10.23889/suthesis.67283openalex-snapshot

Verification of Smart Contracts using the Interactive Theorem Prover Agda

inferred← citeshttps://doi.org/10.3233/faia230374openalex-snapshot

GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis

inferred← citeshttps://doi.org/10.3390/app15115924openalex-snapshot

Smart Contract Security in Decentralized Finance: Enhancing Vulnerability Detection with Reinforcement Learning

inferred← citeshttps://doi.org/10.3390/app16189106openalex-snapshot

A Systematic Survey of Smart Contract Fuzzing: Methods, Techniques, and Architectures for Ethereum and Beyond

inferred← citeshttps://doi.org/10.3390/fi17050205openalex-snapshot

Securing Blockchain Systems: A Layer-Oriented Survey of Threats, Vulnerability Taxonomy, and Detection Methods

inferred← citeshttps://doi.org/10.3390/s25020342openalex-snapshot

Cybersecurity Attacks and Detection Methods in Web 3.0 Technology: A Review

inferred← citeshttps://doi.org/10.3390/sym16101381openalex-snapshot

EDSCVD: Enhanced Dual-Channel Smart Contract Vulnerability Detection Method

inferred← citeshttps://doi.org/10.5753/sbseg.2024.241431openalex-snapshot

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.