On the public citation graph
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11817963_38openalex-snapshot
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
inferredcites →https://doi.org/10.1007/978-3-030-45237-7_7openalex-snapshot
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-319-71237-6_8openalex-snapshot
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_15openalex-snapshot
A Tool for Checking ANSI-C Programs
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1016/b978-0-444-81641-2.50012-5openalex-snapshot
Better Verification Through Symmetry11This research was supported by the “Multi-Module Systems” thrust of the Stanford Center for Integrated Systems. Sun Microsystems provided the computers.
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/csf.2018.00022openalex-snapshot
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
inferredcites →https://doi.org/10.1109/icse.2019.00120openalex-snapshot
Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
inferredcites →https://doi.org/10.1109/mc.2008.306openalex-snapshot
Seven Principles of Software Testing
inferredcites →https://doi.org/10.1109/ms.2006.117openalex-snapshot
Unit tests reloaded: parameterized unit testing with symbolic execution
inferredcites →https://doi.org/10.1109/sp40000.2020.00024openalex-snapshot
VerX: Safety Verification of Smart Contracts
inferredcites →https://doi.org/10.1109/tetc.2020.2979019openalex-snapshot
GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts
inferredcites →https://doi.org/10.1109/wetseb.2019.00008openalex-snapshot
Slither: A Static Analysis Framework for Smart Contracts
inferredcites →https://doi.org/10.1134/s0361768817050024openalex-snapshot
Using static symbolic execution to detect buffer overflows
inferredcites →https://doi.org/10.1145/1040305.1040315openalex-snapshot
Dynamic partial-order reduction for model checking software
inferredcites →https://doi.org/10.1145/1047659.1040315openalex-snapshot
Dynamic partial-order reduction for model checking software
inferredcites →https://doi.org/10.1145/1190216.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1275497.1275501openalex-snapshot
The trace partitioning abstract domain
inferredcites →https://doi.org/10.1145/2090147.2094081openalex-snapshot
SAGE: Whitebox Fuzzing for Security Testing
inferredcites →https://doi.org/10.1145/2487568.2487569openalex-snapshot
Interprocedural data flow analysis in Soot using value contexts
inferredcites →https://doi.org/10.1145/2509136.2509553openalex-snapshot
Steering symbolic execution to less traveled paths
inferredcites →https://doi.org/10.1145/2544173.2509553openalex-snapshot
Steering symbolic execution to less traveled paths
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
inferredcites →https://doi.org/10.1145/2976749.2978428openalex-snapshot
Coverage-based Greybox Fuzzing as Markov Chain
inferredcites →https://doi.org/10.1145/3158136openalex-snapshot
Online detection of effectively callback free objects with applications to smart contracts
inferredcites →https://doi.org/10.1145/3182657openalex-snapshot
A Survey of Symbolic Execution Techniques
inferredcites →https://doi.org/10.1145/3238147.3238177openalex-snapshot
ContractFuzzer: fuzzing smart contracts for vulnerability detection
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/3293882.3330560openalex-snapshot
Exploiting the laws of order in smart contracts
inferredcites →https://doi.org/10.1145/3319535.3363230openalex-snapshot
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
inferredcites →https://doi.org/10.1145/3360566openalex-snapshot
Static analysis with demand-driven value refinement
inferredcites →https://doi.org/10.1145/3368089.3417064openalex-snapshot
Harvey: a greybox fuzzer for smart contracts
inferredcites →https://doi.org/10.1145/3372297.3417250openalex-snapshot
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
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/3377811.3380388openalex-snapshot
Targeted greybox fuzzing with static lookahead analysis
inferredcites →https://doi.org/10.1145/3385412.3385990openalex-snapshot
Ethainter: a smart contract security analyzer for composite vulnerabilities
inferredcites →https://doi.org/10.1145/3395363.3404366openalex-snapshot
Echidna: effective, usable, and fast fuzzing for smart contracts
inferredcites →https://doi.org/10.1145/3428209openalex-snapshot
Formulog: Datalog for SMT-based static analysis
inferredcites →https://doi.org/10.1145/3428258openalex-snapshot
Precise static modeling of Ethereum “memory”
inferredcites →https://doi.org/10.1145/3428277openalex-snapshot
Taming callbacks for smart contract modularity
inferredcites →https://doi.org/10.1145/3474085.3475399openalex-snapshot
Boosting Mobile CNN Inference through Semantic Memory
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.5281/zenodo.5494812openalex-snapshot
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts (Artifact)
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100390openalex-snapshot
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis
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.1109/access.2024.3351736openalex-snapshot
Involuntary Transfer: A Vulnerability Pattern in Smart Contracts
inferred← citeshttps://doi.org/10.1109/dsn69566.2026.00071openalex-snapshot
Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00087openalex-snapshot
AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
inferred← citeshttps://doi.org/10.1145/3527321openalex-snapshot
Elipmoc: advanced decompilation of Ethereum smart contracts
inferred← citeshttps://doi.org/10.1145/3533767.3534378openalex-snapshot
eTainter: detecting gas-related vulnerabilities in smart contracts
inferred← citeshttps://doi.org/10.1145/3611643.3616281openalex-snapshot
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
inferred← citeshttps://doi.org/10.1145/3656400openalex-snapshot
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
inferred← citeshttps://doi.org/10.1145/3656416openalex-snapshot
Consolidating Smart Contracts with Behavioral Contracts
inferred← citeshttps://doi.org/10.1145/3689754openalex-snapshot
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
inferred← citeshttps://doi.org/10.1145/3689796openalex-snapshot
Practical Verification of Smart Contracts using Memory Splitting
inferred← citeshttps://doi.org/10.1145/3728935openalex-snapshot
The Incredible Shrinking Context... in a Decompiler Near You
inferred← citeshttps://doi.org/10.1145/3744916.3773121openalex-snapshot
Precise Static Identification of Ethereum Storage Variables
inferred← citeshttps://doi.org/10.1145/3763129openalex-snapshot
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
inferred← citeshttps://doi.org/10.1145/3763185openalex-snapshot
DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance
inferred← citeshttps://doi.org/10.1145/3769013openalex-snapshot
Blockchain Smart Contract Security: Threats and Mitigation Strategies in a Lifecycle Perspective
inferred← citeshttps://doi.org/10.14722/ndss.2024.24713openalex-snapshot
Not your Type! Detecting Storage Collision Vulnerabilities in 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.