On the public citation graph

Precise static modeling of Ethereum “memory”

https://doi.org/10.1145/3428258
0 signed · 39 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/978-3-662-58387-6_28openalex-snapshot
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
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/sp40000.2020.00024openalex-snapshot
VerX: Safety Verification of 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.1145/2764967.2764974openalex-snapshot
Static analysis of energy consumption for LLVM IR programs
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
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.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/3359591.3359739openalex-snapshot
Next-paradigm programming languages: what will they look like and what changes will they bring?
inferredcites →https://doi.org/10.1145/3385412.3385990openalex-snapshot
Ethainter: a smart contract security analyzer for composite vulnerabilities
inferredcites →https://doi.org/10.5281/zenodo.4059796openalex-snapshot
Precise Static Modeling of Ethereum "Memory" (artifact)

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_23openalex-snapshot
Inferring Needless Write Memory Accesses on Ethereum Bytecode
inferred← citeshttps://doi.org/10.1007/978-3-031-64626-3_7openalex-snapshot
An Abstract Interpretation-Based Data Leakage Static Analysis
inferred← citeshttps://doi.org/10.1007/978-981-95-3480-7_5openalex-snapshot
USCSafe: Identifying Permission Vulnerabilities in Upgradeable Smart Contracts
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112284openalex-snapshot
Harnessing heap analysis for the synthesis of superoptimized bytecode
inferred← citeshttps://doi.org/10.1109/eiect64462.2024.10866315openalex-snapshot
Semantic-Based Detection of Ponzi Smart Contracts: Enhancing Bytecode Analysis with Source Code
inferred← citeshttps://doi.org/10.1109/icbc54727.2022.9805509openalex-snapshot
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts
inferred← citeshttps://doi.org/10.1109/icsme55016.2022.00034openalex-snapshot
Smart Money Wasting: Analyzing Gas Cost Drivers of Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833721openalex-snapshot
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
inferred← citeshttps://doi.org/10.1109/tse.2021.3117966openalex-snapshot
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios
inferred← citeshttps://doi.org/10.1109/wetseb59161.2023.00007openalex-snapshot
TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1145/3485540openalex-snapshot
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
inferred← citeshttps://doi.org/10.1145/3533767.3534218openalex-snapshot
WASAI: uncovering vulnerabilities in Wasm 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/3548683openalex-snapshot
Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts
inferred← citeshttps://doi.org/10.1145/3597503.3639140openalex-snapshot
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts
inferred← citeshttps://doi.org/10.1145/3641846openalex-snapshot
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts
inferred← citeshttps://doi.org/10.1145/3650212.3680352openalex-snapshot
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
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/3729373openalex-snapshot
DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models
inferred← citeshttps://doi.org/10.1145/3744916.3773121openalex-snapshot
Precise Static Identification of Ethereum Storage Variables
inferred← citeshttps://doi.org/10.14722/ndss.2024.24713openalex-snapshot
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.23919/cje.2025.00.156openalex-snapshot
Unveiling Financially Risky Behaviors in Ethereum ERC20 Token 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.