On the public citation graph
Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts
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.
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/978-3-030-44914-8_9openalex-snapshot
SMT-Friendly Formalization of the Solidity Memory Model
inferredcites →https://doi.org/10.1109/bloc.2019.8751335openalex-snapshot
Verifiable Smart Contract Portability
inferredcites →https://doi.org/10.1109/dsn48063.2020.00040openalex-snapshot
Smart Contracts on the Move
inferredcites →https://doi.org/10.1109/icse.2019.00120openalex-snapshot
Gigahorse: Thorough, Declarative Decompilation 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/3428258openalex-snapshot
Precise static modeling of Ethereum “memory”
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-69231-4_14openalex-snapshot
A Comparative Gas Cost Analysis of Proxy and Diamond Patterns in EVM Blockchains for Trusted Smart Contract Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-70011-8_17openalex-snapshot
Early Design Mechanism for Upgrading Smart Contract Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-031-70445-1_5openalex-snapshot
Secure Proof Verification Blockchain Patterns
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/978-981-96-6243-2_1openalex-snapshot
Storage Contract Scheme for Wind Energy Big Data Based on Ethereum
inferred← citeshttps://doi.org/10.1007/s10515-024-00422-3openalex-snapshot
Sound analysis and migration of data from Ethereum smart contracts
inferred← citeshttps://doi.org/10.1007/s10586-025-05490-yopenalex-snapshot
Secure cross-chain interactions: a relay chain framework with privacy and auditability solutions
inferred← citeshttps://doi.org/10.1016/j.comcom.2025.108204openalex-snapshot
A methodology for extracting and decoding smart contracts data
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108210openalex-snapshot
TRUST: A lifecycle-oriented system architecture for governed evolution of smart contract applications
inferred← citeshttps://doi.org/10.1016/j.ins.2023.119413openalex-snapshot
Smart contract-based integrity audit method for IoT
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.2025.3530269openalex-snapshot
Emphasizing the Early Phases of the Software Development Process Before Deploying Smart Contracts
inferred← citeshttps://doi.org/10.1109/bdee67464.2025.00013openalex-snapshot
A Blockchain-Based Real Estate Registry System: Enhancing Transparency and Efficiency through Multi-Level Mapping
inferred← citeshttps://doi.org/10.1109/cvc65719.2025.00009openalex-snapshot
Short Paper: SlotCollider - Detecting Storage Slot Collisions in Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1109/e-cargo65996.2025.11139194openalex-snapshot
Blockchain-Enhanced Trusted Social Manufacturing: A Perspective on Product Lifecycle Management
inferred← citeshttps://doi.org/10.1109/icbc64466.2025.11114684openalex-snapshot
Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades
inferred← citeshttps://doi.org/10.1109/icecer65523.2025.11401079openalex-snapshot
Syntactic analysis and modification of smart contract code using an adapted version aimed at optimizing gas consumption in for loops
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00125openalex-snapshot
Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation
inferred← citeshttps://doi.org/10.1109/tc.2025.3583734openalex-snapshot
CROSC: Compilation-Runtime Joint Optimization for Fast Smart Contract Execution
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/tr.2024.3488814openalex-snapshot
ReenSAT: Reentrancy Vulnerability Detection in Smart Contracts Using Semantic-Enhanced SAT Evaluation
inferred← citeshttps://doi.org/10.1109/tse.2025.3548730openalex-snapshot
SmartUpdater: Enabling Transparent, Automated, and Secure Maintenance of Stateful Smart Contracts
inferred← citeshttps://doi.org/10.1109/tse.2025.3611956openalex-snapshot
Finding Correctness Issues on Ethereum Verkle Tries via Preimage-Aware Differential Testing
inferred← citeshttps://doi.org/10.1145/3696630.3728517openalex-snapshot
SmartShift: A Secure and Efficient Approach to Smart Contract Migration
inferred← citeshttps://doi.org/10.1145/3746061openalex-snapshot
Enhancing Security and Acuity of Smart Contract Vulnerability Detection Based on Federated Learning and BiLSTM-Attention
inferred← citeshttps://doi.org/10.1145/3785364openalex-snapshot
SmartAuditFlow: A Dynamic Plan-Execute Framework for Advanced Smart Contract Security Analysis
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.21203/rs.3.rs-4729552/v1openalex-snapshot
Advancing Blockchain-Enabled InterPlanetary File System with Substrate for Distributed Data Storage
inferred← citeshttps://doi.org/10.23919/cje.2025.00.156openalex-snapshot
Unveiling Financially Risky Behaviors in Ethereum ERC20 Token Contracts
inferred← citeshttps://doi.org/10.3390/app15063225openalex-snapshot
Security Challenges and Performance Trade-Offs in On-Chain and Off-Chain Blockchain Storage: A Comprehensive Review
inferred← citeshttps://doi.org/10.4018/979-8-3373-9755-9.ch007openalex-snapshot
Blockchain and Cryptocurrency Forensics for the Darknet
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.