On the public citation graph
Survey on Quality Assurance of Smart Contracts
0 signed · 112 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.1002/jrsm.1354openalex-snapshot
Best practice guidelines for abstract screening large‐evidence systematic reviews and meta‐analyses
inferredcites →https://doi.org/10.1002/spe.2745openalex-snapshot
NeuCheck: A more practical Ethereum smart contract security analysis tool
inferredcites →https://doi.org/10.1007/978-3-030-01090-4_30openalex-snapshot
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
inferredcites →https://doi.org/10.1007/978-3-030-05764-0_4openalex-snapshot
Formal Verification of Smart Contracts from the Perspective of Concurrency
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-031-18896-1openalex-snapshot
Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)
inferredcites →https://doi.org/10.1007/978-3-031-30044-8_18openalex-snapshot
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
inferredcites →https://doi.org/10.1007/978-3-319-70972-7_20openalex-snapshot
A Smart Contract for Boardroom Voting with Maximum Voter Privacy
inferredcites →https://doi.org/10.1007/978-3-319-72359-4_1openalex-snapshot
An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks
inferredcites →https://doi.org/10.1007/978-3-319-89722-6_9openalex-snapshot
SoK: Unraveling Bitcoin Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-540-69166-2_15openalex-snapshot
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
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/s12083-021-01127-0openalex-snapshot
Blockchain smart contracts: Applications, challenges, and future trends
inferredcites →https://doi.org/10.1016/j.cie.2022.108854openalex-snapshot
Blockchain applications for secured and resilient supply chains: A systematic literature review and future research agenda
inferredcites →https://doi.org/10.1016/j.cosrev.2021.100450openalex-snapshot
Secure and privacy-preserving crowdsensing using smart contracts: Issues and solutions
inferredcites →https://doi.org/10.1016/j.future.2019.12.019openalex-snapshot
An overview on smart contracts: Challenges, advances and platforms
inferredcites →https://doi.org/10.1016/j.ijinfomgt.2019.02.005openalex-snapshot
Blockchain research, practice and policy: Applications, benefits, limitations, emerging research themes and research agenda
inferredcites →https://doi.org/10.1016/j.infsof.2023.107221openalex-snapshot
A survey on smart contract vulnerabilities: Data sources, detection and repair
inferredcites →https://doi.org/10.1016/j.ins.2021.08.007openalex-snapshot
SolGuard: Preventing external call issues in smart contract-based multi-agent robotic systems
inferredcites →https://doi.org/10.1016/j.ipm.2020.102462openalex-snapshot
Transaction-based classification and detection approach for Ethereum smart contract
inferredcites →https://doi.org/10.1016/j.jnca.2021.103009openalex-snapshot
The rise of software vulnerability: Taxonomy of software vulnerabilities detection and machine learning approaches
inferredcites →https://doi.org/10.1016/j.jnca.2022.103529openalex-snapshot
Review of healthcare industry 4.0 application-based blockchain in terms of security and privacy development attributes: Comprehensive taxonomy, open issues and challenges and recommended solution
inferredcites →https://doi.org/10.1016/j.patter.2020.100179openalex-snapshot
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
inferredcites →https://doi.org/10.1016/j.stae.2022.100006openalex-snapshot
An analysis of the blockchain and COVID-19 research landscape using a bibliometric study
inferredcites →https://doi.org/10.1016/j.tele.2018.11.006openalex-snapshot
A systematic literature review of blockchain-based applications: Current status, classification and open issues
inferredcites →https://doi.org/10.1109/access.2019.2905428openalex-snapshot
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq
inferredcites →https://doi.org/10.1109/access.2020.2969429openalex-snapshot
Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models
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/blockchain53845.2021openalex-snapshot
2021 IEEE International Conference on Blockchain (Blockchain)
inferredcites →https://doi.org/10.1109/blockchain55522.2022.00016openalex-snapshot
SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts
inferredcites →https://doi.org/10.1109/blockchain55522.2022.00048openalex-snapshot
A Data Science Pipeline for Algorithmic Trading: A Comparative Study of Applications for Finance and Cryptoeconomics
inferredcites →https://doi.org/10.1109/c-m.1976.218669openalex-snapshot
2nd International Conference on Software Engineering
inferredcites →https://doi.org/10.1109/ccece.2019.8861573openalex-snapshot
NEO Smart Contract for Drought-Based Insurance
inferredcites →https://doi.org/10.1109/comst.2020.2975999openalex-snapshot
Exploring the Attack Surface of Blockchain: A Comprehensive Survey
inferredcites →https://doi.org/10.1109/cybermatics_2018.2018.00185openalex-snapshot
Model-Checking of Smart Contracts
inferredcites →https://doi.org/10.1109/dappcon.2019.00018openalex-snapshot
A Survey of Tools for Analyzing Ethereum Smart Contracts
inferredcites →https://doi.org/10.1109/edcc.2018.00036openalex-snapshot
Runtime Verification of Ethereum Smart Contracts
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/iotsms48152.2019.8939256openalex-snapshot
SoliAudit: Smart Contract Vulnerability Assessment Based on Machine Learning and Fuzz Testing
inferredcites →https://doi.org/10.1109/iscc55528.2022openalex-snapshot
2022 IEEE Symposium on Computers and Communications (ISCC)
inferredcites →https://doi.org/10.1109/jiot.2023.3241544openalex-snapshot
Detection of Vulnerabilities of Blockchain Smart Contracts
inferredcites →https://doi.org/10.1109/mwc.001.2200099openalex-snapshot
Blockchain and AI Enabled Configurable Reflection Resource Allocation for IRS-Aided Coexisting Drone-Terrestrial Networks
inferredcites →https://doi.org/10.1109/ojcs.2020.3039991openalex-snapshot
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts
inferredcites →https://doi.org/10.1109/sp40000.2020.00066openalex-snapshot
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
inferredcites →https://doi.org/10.1109/sp40001.2021.00027openalex-snapshot
High-Frequency Trading on Decentralized On-Chain Exchanges
inferredcites →https://doi.org/10.1109/sp46215.2023.10179435openalex-snapshot
SoK: Decentralized Finance (DeFi) Attacks
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/tnse.2020.2968505openalex-snapshot
ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts
inferredcites →https://doi.org/10.1109/tse.2021.3087402openalex-snapshot
Deep Learning Based Vulnerability Detection: Are We There Yet?
inferredcites →https://doi.org/10.1109/wetseb.2019.00008openalex-snapshot
Slither: A Static Analysis Framework for Smart Contracts
inferredcites →https://doi.org/10.1145/2745802openalex-snapshot
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering
inferredcites →https://doi.org/10.1145/3139337openalex-snapshot
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security
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/3238147.3238177openalex-snapshot
ContractFuzzer: fuzzing smart contracts for vulnerability detection
inferredcites →https://doi.org/10.1145/3243734openalex-snapshot
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
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/3313991.3313999openalex-snapshot
Blockchain based crowdfunding systems in Malaysian Perspective
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/3368089.3417064openalex-snapshot
Harvey: a greybox fuzzer for 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/3385412.3385982openalex-snapshot
Securing smart contract with runtime validation
inferredcites →https://doi.org/10.1145/3385412.3385990openalex-snapshot
Ethainter: a smart contract security analyzer for composite vulnerabilities
inferredcites →https://doi.org/10.1145/3391195openalex-snapshot
A Survey on Ethereum Systems Security
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/3395363.3404366openalex-snapshot
Echidna: effective, usable, and fast fuzzing for smart contracts
inferredcites →https://doi.org/10.1145/3464421openalex-snapshot
A Survey of Smart Contract Formal Specification and Verification
inferredcites →https://doi.org/10.1145/3530019.3531342openalex-snapshot
A Vulnerability Detection Framework for Hyperledger Fabric Smart Contracts Based on Dynamic and Static Analysis
inferredcites →https://doi.org/10.1145/3576915openalex-snapshot
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
inferredcites →https://doi.org/10.1145/3593293openalex-snapshot
Security Threat Mitigation for Smart Contracts: A Comprehensive Survey
inferredcites →https://doi.org/10.1145/3597503.3639117openalex-snapshot
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
inferredcites →https://doi.org/10.1145/3607199.3607242openalex-snapshot
DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection
inferredcites →https://doi.org/10.1145/3702973openalex-snapshot
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
inferredcites →https://doi.org/10.14722/ndss.2020.24449openalex-snapshot
SODA: A Generic Online Detection Framework for Smart Contracts
inferredcites →https://doi.org/10.14722/ndss.2023.23263openalex-snapshot
Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning
inferredcites →https://doi.org/10.24963/ijcai.2020/454openalex-snapshot
Smart Contract Vulnerability Detection using Graph Neural Network
inferredcites →https://doi.org/10.3127/ajis.v26i0.3755openalex-snapshot
The Impact of Blockchain on Supply Chains: A systematic Review
inferredcites →https://doi.org/10.31585/jbba-6-1-(3)2023openalex-snapshot
A Review of Upgradeable Smart Contract Patterns based on OpenZeppelin Technique
inferredcites →https://doi.org/10.3389/fbloc.2019.00008openalex-snapshot
Formal Models of Bitcoin Contracts: A Survey
inferredcites →https://doi.org/10.3389/fbloc.2022.814977openalex-snapshot
Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum
inferredcites →https://doi.org/10.4018/ijssci.310942openalex-snapshot
A Privacy-Preserving Authentic Healthcare Monitoring System Using Blockchain
inferredcites →https://doi.org/10.48550/arxiv.1809.09805openalex-snapshot
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
inferredcites →https://doi.org/10.48550/arxiv.1811.06632openalex-snapshot
Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats
inferredcites →https://doi.org/10.48550/arxiv.2302.13971openalex-snapshot
LLaMA: Open and Efficient Foundation Language Models
inferredcites →https://doi.org/10.48550/arxiv.2401.11108openalex-snapshot
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
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-981-96-4285-4_28openalex-snapshot
MADFuzz: A Study on Automatic Exploitation of Smart Contract Vulnerabilities Using Multi-agent Reinforcement Learning-Guided Fuzzing
inferred← citeshttps://doi.org/10.1007/s42521-025-00143-6openalex-snapshot
Digital assets: vulnerabilities and their classification
inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100402openalex-snapshot
How far should we go away from smart contract to smarter contractor? A systematic review
inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100424openalex-snapshot
A Systematic Review on Ethereum Phishing Scam Detection: Challenges, Empirical Insights, and Future Directions
inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100427openalex-snapshot
TruAtom: Facilitating Atomic Cross-Chain Invocations for DApps via Trusted Smart Communities and Lock-Supported Atomic-Oracle Chain
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2025.110895openalex-snapshot
Ethereum smart contract security: Vulnerabilities, analysis techniques, challenges and research directions
inferred← citeshttps://doi.org/10.1016/j.eswa.2026.132904openalex-snapshot
SAGE-Prompt: An effective semantic-aware graph enhanced prompting technique for smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1109/access.2026.3739345openalex-snapshot
Reducing Hallucinated False Positives in LLM-Based Vulnerability Detection via Multi-Signal Focused Verification
inferred← citeshttps://doi.org/10.1109/compsac61105.2024.00240openalex-snapshot
Validating Smart Contracts Using GPT Assistant
inferred← citeshttps://doi.org/10.1109/icccn69946.2026.11662966openalex-snapshot
Diagnosing Performance Divergence in Ethereum Execution Clients
inferred← citeshttps://doi.org/10.1109/ictc66702.2025.11388677openalex-snapshot
ProvAuditChain: A Gas-Efficient On-Chain Provenance Framework for AI-Driven Smart Contract Audits
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3642153openalex-snapshot
Large-Scale Intranet Security Assessment Based on Bayesian Attack Graphs Using System Audit Logs
inferred← citeshttps://doi.org/10.1109/tifs.2026.3683274openalex-snapshot
HKT-SmartAudit: Distilling Lightweight Models for Smart Contract Auditing
inferred← citeshttps://doi.org/10.1109/tsc.2025.3622902openalex-snapshot
Metamorphic Testing for Smart Contracts: A User-Behavior-Sequence-Aware Approach and Automation Tool
inferred← citeshttps://doi.org/10.1145/3735124openalex-snapshot
A Survey on Off-chain Networks: Frameworks, Technologies, Solutions and Challenges
inferred← citeshttps://doi.org/10.1145/3816713.3820143openalex-snapshot
Source-Level Detection of Private Data Collection Misuse and Build-Preserving Mitigation of Write-Transaction Return Leakage in LLM-Generated Hyperledger Fabric Chaincode
inferred← citeshttps://doi.org/10.1145/3840386openalex-snapshot
A Unified Framework for Function-Level Vulnerability Detection and Explanation in Smart Contracts
inferred← citeshttps://doi.org/10.3390/app16189106openalex-snapshot
A Systematic Survey of Smart Contract Fuzzing: Methods, Techniques, and Architectures for Ethereum and Beyond
inferred← citeshttps://doi.org/10.3390/electronics14091883openalex-snapshot
Achieving High Efficiency in Schnorr-Based Multi-Signature Applications in Blockchain
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.