On the public citation graph

tFuzz: Detecting Cross-Contract Vulnerabilities in Ethereum via Semantic Transaction Sequencing and Feature Path Coverage

https://doi.org/10.2139/ssrn.7571887
0 signed · 27 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.1007/s10515-024-00471-8openalex-snapshot
Contractsentry: a static analysis tool for smart contract vulnerability detection
inferredcites →https://doi.org/10.1007/s10515-025-00539-zopenalex-snapshot
Causes and effects of fitness landscapes in system test generation: a replication study
inferredcites →https://doi.org/10.1007/s10515-025-00559-9openalex-snapshot
ByteEye: A smart contract vulnerability detection framework at bytecode level with graph neural networks
inferredcites →https://doi.org/10.1007/s10664-025-10623-3openalex-snapshot
CSAFuzzer: Fuzzing smart contracts combining with static analysis
inferredcites →https://doi.org/10.1007/s10664-026-10863-xopenalex-snapshot
ContractFull: a rapid and comprehensive static analysis tool for Ethereum smart contracts
inferredcites →https://doi.org/10.1007/s11219-025-09734-3openalex-snapshot
OSEL: boosting vulnerability detection with opcode slicing-enhanced feature learning
inferredcites →https://doi.org/10.1016/j.jisa.2023.103484openalex-snapshot
SVScanner: Detecting smart contract vulnerabilities via deep semantic extraction
inferredcites →https://doi.org/10.1016/j.jss.2024.112160openalex-snapshot
Vulnerability detection techniques for smart contracts: A systematic literature review
inferredcites →https://doi.org/10.1016/j.jss.2025.112406openalex-snapshot
Sóley: Automated detection of logic vulnerabilities in Ethereum smart contracts using large language models
inferredcites →https://doi.org/10.1016/j.scico.2023.103076openalex-snapshot
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection
inferredcites →https://doi.org/10.1109/access.2022.3169902openalex-snapshot
Ethereum Smart Contract Analysis Tools: A Systematic Review
inferredcites →https://doi.org/10.1109/csf.2018.00022openalex-snapshot
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
inferredcites →https://doi.org/10.1109/dsn69566.2026.00050openalex-snapshot
Reentrancy Detection in the Age of LLMs
inferredcites →https://doi.org/10.1109/eurosp51992.2021.00018openalex-snapshot
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts
inferredcites →https://doi.org/10.1109/sp40000.2020.00024openalex-snapshot
VerX: Safety Verification of Smart Contracts
inferredcites →https://doi.org/10.1109/tdsc.2022.3182373openalex-snapshot
xFuzz: Machine Learning Guided Cross-Contract Fuzzing
inferredcites →https://doi.org/10.1109/tr.2024.3494798openalex-snapshot
Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis
inferredcites →https://doi.org/10.1109/tse.2021.3117966openalex-snapshot
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios
inferredcites →https://doi.org/10.1109/tse.2023.3317209openalex-snapshot
VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning
inferredcites →https://doi.org/10.1145/3167084openalex-snapshot
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
inferredcites →https://doi.org/10.1145/3238147.3238177openalex-snapshot
ContractFuzzer: fuzzing smart contracts for vulnerability detection
inferredcites →https://doi.org/10.1145/3274694.3274737openalex-snapshot
Osiris
inferredcites →https://doi.org/10.1145/3377811.3380334openalex-snapshot
sFuzz
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/3533767.3534222openalex-snapshot
SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability
inferredcites →https://doi.org/10.1145/3674725openalex-snapshot
FunFuzz: A Function-Oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency
inferredcites →https://doi.org/10.3390/fi14110326openalex-snapshot
Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network
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.