On the public citation graph
Taming callbacks for smart contract modularity
0 signed · 58 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-319-70278-0_30openalex-snapshot
A Concurrent Perspective on Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-319-89722-6_11openalex-snapshot
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-319-89960-2_7openalex-snapshot
Automatic Generation of Precise and Useful Commutativity Conditions
inferredcites →https://doi.org/10.1007/978-3-319-96142-2_24openalex-snapshot
Constrained Dynamic Partial Order Reduction
inferredcites →https://doi.org/10.1007/978-3-319-96145-3_4openalex-snapshot
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_29openalex-snapshot
Peephole Partial Order Reduction
inferredcites →https://doi.org/10.1007/978-3-642-19835-9openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferredcites →https://doi.org/10.1007/978-3-662-54455-6_8openalex-snapshot
A Survey of Attacks on Ethereum Smart Contracts (SoK)
inferredcites →https://doi.org/10.1007/s10703-019-00334-zopenalex-snapshot
Monitoring hyperproperties
inferredcites →https://doi.org/10.1109/wetseb.2019.00008openalex-snapshot
Slither: A Static Analysis Framework for Smart Contracts
inferredcites →https://doi.org/10.1145/1065944.1065953openalex-snapshot
Static analysis of atomicity for programs with non-blocking synchronization
inferredcites →https://doi.org/10.1145/2908080.2908092openalex-snapshot
Cartesian hoare logic for verifying k-safety properties
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
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/3274694.3274743openalex-snapshot
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
inferredcites →https://doi.org/10.1145/3293882.3330560openalex-snapshot
Exploiting the laws of order in 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/3385412.3385990openalex-snapshot
Ethainter: a smart contract security analyzer for composite vulnerabilities
inferredcites →https://doi.org/10.1145/3385412.3386022openalex-snapshot
Behavioral simulation for smart contracts
inferredcites →https://doi.org/10.1145/780822.781169openalex-snapshot
A type and effect system for atomicity
inferredcites →https://doi.org/10.1145/781131.781169openalex-snapshot
A type and effect system for atomicity
inferredcites →https://doi.org/10.1145/964001.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.1145/982962.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.14722/ndss.2019.23413openalex-snapshot
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
inferredcites →https://doi.org/10.23919/fmcad.2019.8894277openalex-snapshot
Verifying Relational Properties using Trace Logic
inferredcites →https://doi.org/10.48550/arxiv.1812.08829openalex-snapshot
Formal Specification and Verification of Smart Contracts for Azure Blockchain
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.3163openalex-snapshot
A large‐scale empirical study of low‐level function use in Ethereum smart contracts and automated replacement
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_1openalex-snapshot
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-86695-1_4openalex-snapshot
PolySAT: Word-level Bit-vector Reasoning in Z3
inferred← citeshttps://doi.org/10.1007/978-981-96-9958-2_17openalex-snapshot
A Large Language Models-Powered Framework for Smart Contract Repair
inferred← citeshttps://doi.org/10.1007/978-981-97-0006-6_3openalex-snapshot
EVM-Vale: Formal Verification of EVM Bytecode Using Vale
inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100384openalex-snapshot
EVMLiSA: Sound static control-flow graph construction for EVM bytecode
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112107openalex-snapshot
ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts
inferred← citeshttps://doi.org/10.1109/access.2024.3401623openalex-snapshot
A Survey of Vulnerability Detection Techniques by Smart Contract Tools
inferred← citeshttps://doi.org/10.1109/aie57029.2022.00130openalex-snapshot
Research on smart contract technology based on block chain
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00006openalex-snapshot
Smart Contract Synthesis Modulo Hyperproperties
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00034openalex-snapshot
VRaaS: Verifiable Randomness as a Service on Blockchains
inferred← citeshttps://doi.org/10.1109/dasc-picom-cbdcom-cyberscitech52372.2021.00025openalex-snapshot
Rethinking of Reentrancy on the Ethereum
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00084openalex-snapshot
Compositional Security for Reentrant Applications
inferred← citeshttps://doi.org/10.1109/tdsc.2022.3178836openalex-snapshot
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
inferred← citeshttps://doi.org/10.1145/3485523openalex-snapshot
Rich specifications for Ethereum smart contract verification
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/3563317openalex-snapshot
Necessity specifications for robustness
inferred← citeshttps://doi.org/10.1145/3570639openalex-snapshot
SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols
inferred← citeshttps://doi.org/10.1145/3626201openalex-snapshot
The Concept of Class Invariant in Object-oriented Programming
inferred← citeshttps://doi.org/10.1145/3632906openalex-snapshot
Decision and Complexity of Dolev-Yao Hyperproperties
inferred← citeshttps://doi.org/10.1145/3656416openalex-snapshot
Consolidating Smart Contracts with Behavioral Contracts
inferred← citeshttps://doi.org/10.1145/3658644.3690293openalex-snapshot
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
inferred← citeshttps://doi.org/10.1145/3728935openalex-snapshot
The Incredible Shrinking Context... in a Decompiler Near You
inferred← citeshttps://doi.org/10.1145/3758316.3762819openalex-snapshot
A Multi-layer Dynamic Security Framework for DeFi Smart Contracts
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.26418/justin.v11i2.57517openalex-snapshot
Model Machine Learning Untuk Klasifikasi Kesegaran Daging Menggunakan Arsitektur Transfer Learning Xception
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.