On the public citation graph

SmartCheck

0 signed · 672 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-319-75650-9_14openalex-snapshot
Ethereum: State of Knowledge and Research Perspectives
inferredcites →https://doi.org/10.1007/978-3-662-53357-4_6openalex-snapshot
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
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.1109/mines.2012.202openalex-snapshot
Software Vulnerability Discovery Techniques: A Survey
inferredcites →https://doi.org/10.1109/saner.2017.7884650openalex-snapshot
Under-optimized smart contracts devour your money
inferredcites →https://doi.org/10.1145/1542476.1542486openalex-snapshot
TAJ
inferredcites →https://doi.org/10.1145/1543135.1542486openalex-snapshot
TAJ
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
inferredcites →https://doi.org/10.1145/2993600.2993611openalex-snapshot
Formal Verification of Smart Contracts

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.4048956openalex-extracted
Formalizing and Verifying the Behaviors of Interacting Smart Contracts Using Model Checking
inferred← citeshttps://doi.org/10.2139/ssrn.4106945openalex-extracted
Sailfish: Vetting Smart Contract State-Inconsistency Bugs in Seconds
inferred← citeshttps://doi.org/10.2139/ssrn.4140568openalex-extracted
An Overview of the Research in the Security Issues of Ethereum Ecosystem
inferred← citeshttps://doi.org/10.2139/ssrn.4511778openalex-extracted
Vulnerability Detection for Smart Contracts: A Systematic Literature Review
inferred← citeshttps://doi.org/10.2139/ssrn.4553042openalex-extracted
Enhancing Smart Contract Security: Assessing Vulnerability with Code Complexity Metrics
inferred← citeshttps://doi.org/10.2139/ssrn.4591953openalex-extracted
Enhancing Smart Contract Security: Assessing Vulnerability with Code Complexity Metrics
inferred← citeshttps://doi.org/10.2139/ssrn.4613529openalex-extracted
inferred← citeshttps://doi.org/10.1002/9781394229512.ch8openalex-snapshot
Decentralized Smart Healthcare Systems Using Blockchain and AI
inferred← citeshttps://doi.org/10.1002/9781394237258.ch9openalex-snapshot
Practical Application of Large‐Scale Blockchain
inferred← citeshttps://doi.org/10.1002/cpe.6679openalex-snapshot
Gas consumption analysis of Ethereum blockchain transactions
inferred← citeshttps://doi.org/10.1002/cpe.70214openalex-snapshot
SmartSecure : An Integrated Semantic Vulnerability Mining Framework for Ethereum Smart Contract
inferred← citeshttps://doi.org/10.1002/cpe.7422openalex-snapshot
A systematic literature review on sensitive data protection in blockchain applications
inferred← citeshttps://doi.org/10.1002/cpe.7987openalex-snapshot
The blockchain conundrum: An in‐depth examination of challenges, contributing technologies, and alternatives
inferred← citeshttps://doi.org/10.1002/ett.4268openalex-snapshot
Artificial intelligence and blockchain: A review
inferred← citeshttps://doi.org/10.1002/ett.5037openalex-snapshot
An extensive multivocal literature review of blockchain technology: Evolution, challenges, platforms, security, and interoperability
inferred← citeshttps://doi.org/10.1002/int.22327openalex-snapshot
An approach of covert communication based on the Ethereum whisper protocol in blockchain
inferred← citeshttps://doi.org/10.1002/int.22633openalex-snapshot
Landscape estimation of solidity version usage on Ethereum via version identification
inferred← citeshttps://doi.org/10.1002/nem.2060openalex-snapshot
A survey on blockchain cybersecurity vulnerabilities and possible countermeasures
inferred← citeshttps://doi.org/10.1002/smr.2267openalex-snapshot
An empirical analysis of source code metrics and smart contract resource consumption
inferred← citeshttps://doi.org/10.1002/smr.2557openalex-snapshot
sFuzz2.0: Storage‐access pattern guided smart contract fuzzing
inferred← citeshttps://doi.org/10.1002/smr.2633openalex-snapshot
SoliTester: Detecting exploitable external‐risky vulnerability in smart contracts using contract account triggering method
inferred← citeshttps://doi.org/10.1002/smr.2712openalex-snapshot
SGDL: Smart contract vulnerability generation via deep learning
inferred← citeshttps://doi.org/10.1002/smr.2719openalex-snapshot
IABC‐TCG: Improved artificial bee colony algorithm‐based test case generation for smart contracts
inferred← citeshttps://doi.org/10.1002/smr.2730openalex-snapshot
Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors
inferred← citeshttps://doi.org/10.1002/spe.2745openalex-snapshot
NeuCheck: A more practical Ethereum smart contract security analysis tool
inferred← citeshttps://doi.org/10.1002/spe.3156openalex-snapshot
Detecting functional and security‐related issues in smart contracts: A systematic literature review
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.1002/spe.3427openalex-snapshot
SNOW: An Effective Smart Contract Reentrancy Vulnerability Detection Method Based on Joint Feature Graph and Hybrid Graph Neural Network
inferred← citeshttps://doi.org/10.1002/spy2.393openalex-snapshot
SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods
inferred← citeshttps://doi.org/10.1002/spy2.477openalex-snapshot
FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution
inferred← citeshttps://doi.org/10.1002/spy2.70260openalex-snapshot
Blockchain Security: An Empirical Evaluation of High‐Impact Exploits and Detection Tools
inferred← citeshttps://doi.org/10.1007/978-3-030-20948-3_16openalex-snapshot
Blockchain-Based Application Security Risks: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1007/978-3-030-24296-1_41openalex-snapshot
Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies
inferred← citeshttps://doi.org/10.1007/978-3-030-34914-1_3openalex-snapshot
Protecting Personal Data Using Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-43725-1_11openalex-snapshot
Is Solidity Solid Enough?
inferred← citeshttps://doi.org/10.1007/978-3-030-44041-1_122openalex-snapshot
Context-Aware and Dynamic Role-Based Access Control Using Blockchain
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_4openalex-snapshot
A Generalized Formal Semantic Framework for Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-45691-7_3openalex-snapshot
Characterizing the Cost of Introducing Secure Programming Patterns and Practices in Ethereum
inferred← citeshttps://doi.org/10.1007/978-3-030-51280-4_34openalex-snapshot
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_8openalex-snapshot
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
inferred← citeshttps://doi.org/10.1007/978-3-030-54455-3_29openalex-snapshot
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media
inferred← citeshttps://doi.org/10.1007/978-3-030-58986-8_1openalex-snapshot
Analysis of uPort Open, an Identity Management Blockchain-Based Solution
inferred← citeshttps://doi.org/10.1007/978-3-030-61146-0_8openalex-snapshot
Vulnerabilities and Excess Gas Consumption Analysis Within Ethereum-Based Smart Contracts for Electricity Market
inferred← citeshttps://doi.org/10.1007/978-3-030-65474-0_15openalex-snapshot
Exact and Linear-Time Gas-Cost Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-65745-1_2openalex-snapshot
Security Evaluation of Smart Contract-Based On-chain Ethereum Wallets
inferred← citeshttps://doi.org/10.1007/978-3-030-66534-0_7openalex-snapshot
Orthos: A Trustworthy AI Framework for Data Acquisition
inferred← citeshttps://doi.org/10.1007/978-3-030-66626-2_10openalex-snapshot
An Insecurity Study of Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-78621-2_14openalex-snapshot
The Vulnerabilities in Smart Contracts: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-030-80126-7_62openalex-snapshot
Blockchain Smart Contracts Static Analysis for Software Assurance
inferred← citeshttps://doi.org/10.1007/978-3-030-86162-9_20openalex-snapshot
Investigation on Vulnerabilities Location in Solidity Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-94029-4_6openalex-snapshot
Vulnerability and Transaction Behavior Based Detection of Malicious Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-95391-1_2openalex-snapshot
Towards Requester-Provider Bilateral Utility Maximization and Collision Resistance in Blockchain-Based Microgrid Energy Trading
inferred← citeshttps://doi.org/10.1007/978-3-031-01807-7_3openalex-snapshot
The Next 700 Smart Contract Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-06764-8_13openalex-snapshot
HuntFlow: Search the Arithmetic Vulnerability in Ethereum Smart Contract
inferred← citeshttps://doi.org/10.1007/978-3-031-10363-6_7openalex-snapshot
On Verification of Smart Contracts via Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-16815-4_5openalex-snapshot
Vulnerability Detection for Smart Contract via Backward Bayesian Active Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_15openalex-snapshot
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)
inferred← citeshttps://doi.org/10.1007/978-3-031-18679-0_9openalex-snapshot
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
inferred← citeshttps://doi.org/10.1007/978-3-031-19756-7_18openalex-snapshot
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits
inferred← citeshttps://doi.org/10.1007/978-3-031-20096-0_6openalex-snapshot
VDDL: A Deep Learning-Based Vulnerability Detection Model for Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-20738-9_10openalex-snapshot
Towards Robust Similarity Detection of Smart Contracts with Masked Language Modelling
inferred← citeshttps://doi.org/10.1007/978-3-031-20738-9_11openalex-snapshot
DeSG: Towards Generating Valid Solidity Smart Contracts with Deep Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-21229-1_25openalex-snapshot
Enhancing Smart Contract Quality by Introducing a Continuous Integration Pipeline for Solidity Based Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-23340-1_5openalex-snapshot
Smart Contracts and DeFi Security and Threats
inferred← citeshttps://doi.org/10.1007/978-3-031-29056-5_26openalex-snapshot
DCANon: Towards Distributed Certification Authority (CA) with Non-fungible Token (NFT)
inferred← citeshttps://doi.org/10.1007/978-3-031-32146-7_4openalex-snapshot
The Ethereum Blockchain: Implementation and Security Aspects
inferred← citeshttps://doi.org/10.1007/978-3-031-37105-9_39openalex-snapshot
SmartGraph: Static Analysis Tool for Solidity Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-45155-3_25openalex-snapshot
Smart Contract Analyzer. A Tool for Detecting Fraudulent Token Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-47224-4_10openalex-snapshot
A Study on Smart Contract Security Vulnerabilities
inferred← citeshttps://doi.org/10.1007/978-3-031-47637-2_5openalex-snapshot
Typical Contract Graph Feature Enhanced Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-3-031-48325-7_21openalex-snapshot
Vulnerability Detection of Smart Contracts Based on Bidirectional GRU and Attention Mechanism
inferred← citeshttps://doi.org/10.1007/978-3-031-58086-4_19openalex-snapshot
Security of Blockchain-Based Applications: A Case of Distributed Energy Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-66456-4_9openalex-snapshot
Modeling and Verification of Solidity Smart Contracts with the B Method
inferred← citeshttps://doi.org/10.1007/978-3-031-68606-1_13openalex-snapshot
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools
inferred← citeshttps://doi.org/10.1007/978-3-031-71391-0_24openalex-snapshot
Smart Contract Vulnerability Auditor Using ML Models: A Literature Survey
inferred← citeshttps://doi.org/10.1007/978-3-031-75757-0_1openalex-snapshot
The Formal Verification of Aptos Coin
inferred← citeshttps://doi.org/10.1007/978-3-031-76554-4_14openalex-snapshot
Solvent: Liquidity Verification of Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-80020-7_15openalex-snapshot
Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-031-94455-0_13openalex-snapshot
Ensuring Integrity in Online Content Usage and Download Counting with Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-94956-2_9openalex-snapshot
Verifying Data Integrity in Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-95761-1_5openalex-snapshot
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-96841-9_12openalex-snapshot
Code Generation for Smart Contracts in Enterprise Application Integration
inferred← citeshttps://doi.org/10.1007/978-3-031-97623-0_17openalex-snapshot
A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-032-06372-4_30openalex-snapshot
NFT-Based Research on Scientific Data Rights and Sharing Governance in Universities and Colleges
inferred← citeshttps://doi.org/10.1007/978-3-032-08124-7_31openalex-snapshot
Jakiro: A Cross-Modal Contrastive Learning Framework for Detecting Vulnerabilities in Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-032-08977-9_3openalex-snapshot
Blockchain Technology in Logistics Business
inferred← citeshttps://doi.org/10.1007/978-3-032-15632-7_17openalex-snapshot
Solidity Meets LLMs: A Transformer-Based Approach to Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-3-032-16168-0_2openalex-snapshot
Smart Contract Auditing to Reduce Transactional Errors: An FMEA-Based Approach to Procurement Quality Improvement
inferred← citeshttps://doi.org/10.1007/978-3-032-21164-4_40openalex-snapshot
Blockchain Application Security Testing (BAST) Framework for Securing Enterprise Grade Blockchain Based Applications
inferred← citeshttps://doi.org/10.1007/978-3-032-22088-2_4openalex-snapshot
AuditCopilot: An End-to-End LLM-Based Framework for Automated Vulnerability Detection in Web3
inferred← citeshttps://doi.org/10.1007/978-3-032-23311-0_10openalex-snapshot
ETH-Check: A Lightweight Multi-tool Framework for EthTrust-Guided Security Checking of Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-662-64322-8_1openalex-snapshot
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit
inferred← citeshttps://doi.org/10.1007/978-3-662-64322-8_2openalex-snapshot
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-981-15-2777-7_38openalex-snapshot
Manual Audit for BitUnits Contracts
inferred← citeshttps://doi.org/10.1007/978-981-15-9739-8_17openalex-snapshot
The Research on Covert Communication Model Based on Blockchain: A Case Study of Ethereum’s Whisper Protocol
inferred← citeshttps://doi.org/10.1007/978-981-16-7476-1_13openalex-snapshot
SC-VDM: A Lightweight Smart Contract Vulnerability Detection Model
inferred← citeshttps://doi.org/10.1007/978-981-19-2868-0_10openalex-snapshot
The Economic Impact of AI-Enabled Blockchain in 6G-Based Industry
inferred← citeshttps://doi.org/10.1007/978-981-19-5331-6_69openalex-snapshot
Evolution of Cryptocurrencies and Sentiment Analysis: A Correlation Analysis
inferred← citeshttps://doi.org/10.1007/978-981-19-6414-5_25openalex-snapshot
A User-Centric Evaluation of Smart Contract Analysis Tools in Decentralised Finance (DeFi)
inferred← citeshttps://doi.org/10.1007/978-981-19-8043-5_23openalex-snapshot
WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-981-19-8445-7_14openalex-snapshot
Efficient and Automatic Pseudonym Management Scheme for VANET with Blockchain
inferred← citeshttps://doi.org/10.1007/978-981-92-2973-4_22openalex-snapshot
DynaSense: Network Dynamics-Aware Learning for Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-92-3423-3_15openalex-snapshot
HGFormer: Hyperbolic Graph Transformer for Unsupervised Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-92-3423-3_6openalex-snapshot
Smart Contract Vulnerability Detection Using Hierarchical Attention Mechanism
inferred← citeshttps://doi.org/10.1007/978-981-95-2196-8_5openalex-snapshot
An Analysis of the Security Status of Ethereum-Based Smart Contracts: Vulnerability, Tools, and Techniques
inferred← citeshttps://doi.org/10.1007/978-981-95-2961-2_22openalex-snapshot
GenDetect: Generative Large Language Model Usage in Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-95-3477-7_2openalex-snapshot
Smart Contract Vulnerability Detection Method Based on Vulnerability Propagation Path
inferred← citeshttps://doi.org/10.1007/978-981-95-3480-7_3openalex-snapshot
A Smart Contract Vulnerability Detection Method Based on Graph Neural Networks and Zero-Shot Learning
inferred← citeshttps://doi.org/10.1007/978-981-95-3537-8_11openalex-snapshot
AugGP-VD: A Smart Contract Vulnerability Detection Approach Based on Augmented Graph Convolutional Networks and Pooling
inferred← citeshttps://doi.org/10.1007/978-981-95-3543-9_8openalex-snapshot
R1-MFSol: a Smart Contract Vulnerability Detection Model Based on LLM and Multi-modal Feature Fusion
inferred← citeshttps://doi.org/10.1007/978-981-95-4142-3_11openalex-snapshot
MultiSCDetect: A Multi-objective Detection-Based Framework for Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-95-4381-6_22openalex-snapshot
Interpretable Smart Contract Vulnerability Detection with Graph Information Bottleneck
inferred← citeshttps://doi.org/10.1007/978-981-95-5719-6_35openalex-snapshot
Adaptive Graph Contrastive Learning for Blockchain Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-95-7826-9_18openalex-snapshot
Strategy-Aware Liquidity for Account-Based Blockchains
inferred← citeshttps://doi.org/10.1007/978-981-95-8660-8_7openalex-snapshot
Enhancing Smart Contract Security: A Tree-Based Convolutional Neural Network Approach for Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-96-0151-6_21openalex-snapshot
Smart Contract Vulnerability Detection Based on Code Graph Embedding Approach
inferred← citeshttps://doi.org/10.1007/978-981-96-0576-7_12openalex-snapshot
Smart Contracts Vulnerability Detection Using Transformers
inferred← citeshttps://doi.org/10.1007/978-981-96-1414-1_5openalex-snapshot
OptimalFix: An Automated Framework for Fixing Vulnerabilities in Smart Contracts Effectively
inferred← citeshttps://doi.org/10.1007/978-981-96-1781-4_10openalex-snapshot
Smart Contract Vulnerability Detection Method Based on Edge-Deactivation Graph Convolutional Network
inferred← citeshttps://doi.org/10.1007/978-981-96-1781-4_9openalex-snapshot
Smart Contract Vulnerability Detection Method Based on Node Feature Augmentation Graph Convolutional Network
inferred← citeshttps://doi.org/10.1007/978-981-96-4360-8_12openalex-snapshot
Testing, Verification, Validation, Simulation, and Quality Techniques
inferred← citeshttps://doi.org/10.1007/978-981-96-8728-2_5openalex-snapshot
Integrating Pretrained Models with Graph Neural Networks for Smart Contract Interpretability
inferred← citeshttps://doi.org/10.1007/978-981-97-5101-3_23openalex-snapshot
Detect Llama - Finding Vulnerabilities in Smart Contracts Using Large Language Models
inferred← citeshttps://doi.org/10.1007/978-981-97-5101-3_3openalex-snapshot
Efficient Vulnerability Detection for Smart Contracts Using Gated Graph Neural Network
inferred← citeshttps://doi.org/10.1007/978-981-97-5588-2_29openalex-snapshot
Smart Contract Vulnerability Detection Based on Multimodal Feature Fusion
inferred← citeshttps://doi.org/10.1007/978-981-97-6588-1_32openalex-snapshot
Smart Contract Vulnerability Auditor Using GNN
inferred← citeshttps://doi.org/10.1007/978-981-97-9412-6_27openalex-snapshot
Heterogeneous Data Fusion Based Vulnerability Detection for Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-981-97-9412-6_9openalex-snapshot
SolSecure: A Security Analyzer for Integer Bugs in Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-981-99-0838-7_65openalex-snapshot
CFG Analysis for Detecting Vulnerabilities in Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-981-99-2742-5_38openalex-snapshot
Detecting Security Breaches on Smart Contracts Through Techniques and Tools a Brief Review: Applications and Challenges
inferred← citeshttps://doi.org/10.1007/978-981-99-3581-9_7openalex-snapshot
Security Analysis of Blockchain Layer-One Sharding Based Extended-UTxO Model
inferred← citeshttps://doi.org/10.1007/978-981-99-4717-1_22openalex-snapshot
A Survey on Smart Contract Vulnerabilities Including Auditing Tools
inferred← citeshttps://doi.org/10.1007/978-981-99-8101-4_13openalex-snapshot
Smart Contract Vulnerability Detection Methods: A Survey
inferred← citeshttps://doi.org/10.1007/978-981-99-8101-4_4openalex-snapshot
IntelliCon: Confidence-Based Approach for Fine-Grained Vulnerability Analysis in Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-981-99-8101-4_8openalex-snapshot
Securing Blockchain Using Propagation Chain Learning
inferred← citeshttps://doi.org/10.1007/978-981-99-8104-5_1openalex-snapshot
A General Smart Contract Vulnerability Detection Framework with Self-attention Graph Pooling
inferred← citeshttps://doi.org/10.1007/978-981-99-8104-5_2openalex-snapshot
The Best of Both Worlds: Integrating Semantic Features with Expert Features for Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/978-981-99-9247-8_46openalex-snapshot
A Survey on the Integration of Blockchain Smart Contracts and Natural Language Processing
inferred← citeshttps://doi.org/10.1007/s00607-024-01314-wopenalex-snapshot
Smart contracts auditing and multi-classification using machine learning algorithms: an efficient vulnerability detection in ethereum blockchain
inferred← citeshttps://doi.org/10.1007/s10207-023-00752-5openalex-snapshot
An integrated deep learning model for Ethereum smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1007/s10207-023-00765-0openalex-snapshot
Vulnerabilities and attacks assessments in blockchain 1.0, 2.0 and 3.0: tools, analysis and countermeasures
inferred← citeshttps://doi.org/10.1007/s10207-025-01057-5openalex-snapshot
Optimizing gas efficiency and enhancing security in Ethereum smart contracts through integrated clustering and anomaly detection
inferred← citeshttps://doi.org/10.1007/s10207-026-01208-2openalex-snapshot
In the webs of ethereum: analyzing smart contracts vulnerabilities
inferred← citeshttps://doi.org/10.1007/s10207-026-01287-1openalex-snapshot
Solidity Defects and Bugs Analysis (SDABA): A novel framework for smart contract vulnerability detection and benchmarking
inferred← citeshttps://doi.org/10.1007/s10270-023-01143-zopenalex-snapshot
A refinement-based approach to safe smart contract deployment and evolution
inferred← citeshttps://doi.org/10.1007/s10270-025-01333-xopenalex-snapshot
Automated construction of predicate abstractions for smart contract validation
inferred← citeshttps://doi.org/10.1007/s10515-023-00392-yopenalex-snapshot
Tips: towards automating patch suggestion for vulnerable smart contracts
inferred← citeshttps://doi.org/10.1007/s10515-024-00418-zopenalex-snapshot
DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts
inferred← citeshttps://doi.org/10.1007/s10515-024-00471-8openalex-snapshot
Contractsentry: a static analysis tool for smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1007/s10515-025-00546-0openalex-snapshot
HMF: Enhancing reentrancy vulnerability detection and repair with a hybrid model framework
inferred← citeshttps://doi.org/10.1007/s10515-025-00559-9openalex-snapshot
ByteEye: A smart contract vulnerability detection framework at bytecode level with graph neural networks
inferred← citeshttps://doi.org/10.1007/s10515-026-00603-2openalex-snapshot
UpgradeShield: Detecting logic-state in-consistencies in smart contract upgrades
inferred← citeshttps://doi.org/10.1007/s10586-024-05051-9openalex-snapshot
MLFuzzer: a fuzzing approach based on generative adversarial networks and BiLSTM for detecting vulnerabilities in smart contracts
inferred← citeshttps://doi.org/10.1007/s10586-025-05439-1openalex-snapshot
Analyzing and detecting four types of critical security vulnerabilities in move smart contracts
inferred← citeshttps://doi.org/10.1007/s10586-025-05742-xopenalex-snapshot
A decentralized blockchain and IPFS-based framework for secure traceability in agricultural waste-to-energy conversion
inferred← citeshttps://doi.org/10.1007/s10618-023-00981-1openalex-snapshot
Design and evaluation of highly accurate smart contract code vulnerability detection framework
inferred← citeshttps://doi.org/10.1007/s10664-019-09796-5openalex-snapshot
An exploratory study of smart contracts in the Ethereum blockchain platform
inferred← citeshttps://doi.org/10.1007/s10664-020-09852-5openalex-snapshot
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
inferred← citeshttps://doi.org/10.1007/s10664-021-10018-0openalex-snapshot
Maintenance-related concerns for post-deployed Ethereum smart contract development: issues, techniques, and future challenges
inferred← citeshttps://doi.org/10.1007/s10664-022-10218-2openalex-snapshot
SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts
inferred← citeshttps://doi.org/10.1007/s10664-022-10240-4openalex-snapshot
Calling relationship investigation and application on Ethereum Blockchain System
inferred← citeshttps://doi.org/10.1007/s10664-024-10446-8openalex-snapshot
OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities
inferred← citeshttps://doi.org/10.1007/s10664-024-10509-wopenalex-snapshot
Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/s10664-024-10609-7openalex-snapshot
UPC sentinel: An accurate approach for detecting upgradeability proxy contracts in Ethereum
inferred← citeshttps://doi.org/10.1007/s10664-025-10623-3openalex-snapshot
CSAFuzzer: Fuzzing smart contracts combining with static analysis
inferred← citeshttps://doi.org/10.1007/s10664-025-10639-9openalex-snapshot
Why and how developers maintain smart contracts
inferred← citeshttps://doi.org/10.1007/s10664-025-10685-3openalex-snapshot
On state reverting in solidity smart contracts: Developer practices, fault categorization, and tool evaluation
inferred← citeshttps://doi.org/10.1007/s10664-025-10770-7openalex-snapshot
DeepDesc: integrating retrieval-augmented generation with large language models for smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1007/s10664-025-10780-5openalex-snapshot
Bridging the gap: a comparative study of academic and developer approaches to smart contract vulnerabilities
inferred← citeshttps://doi.org/10.1007/s10664-026-10863-xopenalex-snapshot
ContractFull: a rapid and comprehensive static analysis tool for Ethereum smart contracts
inferred← citeshttps://doi.org/10.1007/s10664-026-10867-7openalex-snapshot
An empirical analysis of vulnerability detection tools for solidity smart contracts
inferred← citeshttps://doi.org/10.1007/s10664-026-10931-2openalex-snapshot
MAGen: Multi-agent smart contract generation with automated testing and verification
inferred← citeshttps://doi.org/10.1007/s10922-026-10052-7openalex-snapshot
Efficient Path-Driven Vulnerability Detection for Complex Smart Contracts via Graph Compression
inferred← citeshttps://doi.org/10.1007/s11042-022-13500-zopenalex-snapshot
Latent DIRICHLET allocation (LDA) based information modelling on BLOCKCHAIN technology: a review of trends and research patterns used in integration
inferred← citeshttps://doi.org/10.1007/s11042-023-14592-xopenalex-snapshot
A novel method using LSTM-RNN to generate smart contracts code templates for improved usability
inferred← citeshttps://doi.org/10.1007/s11042-023-15042-4openalex-snapshot
TP-Detect: trigram-pixel based vulnerability detection for Ethereum smart contracts
inferred← citeshttps://doi.org/10.1007/s11042-023-17308-3openalex-snapshot
Digital forensic framework for smart contract vulnerabilities using ensemble models
inferred← citeshttps://doi.org/10.1007/s11219-025-09734-3openalex-snapshot
OSEL: boosting vulnerability detection with opcode slicing-enhanced feature learning
inferred← citeshttps://doi.org/10.1007/s11227-024-06570-3openalex-snapshot
Dynamic fine-grained access control for smart contracts based on improved attribute-based signature
inferred← citeshttps://doi.org/10.1007/s11227-025-06951-2openalex-snapshot
HSVDetector: a heterogeneous semantic graph-based method for smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1007/s11235-025-01370-3openalex-snapshot
MedTourChain: a blockchain-powered secure communication framework for telemedicine in medical tourism
inferred← citeshttps://doi.org/10.1007/s11265-023-01859-7openalex-snapshot
A Novel Smart Contract Reentrancy Vulnerability Detection Model based on BiGAS
inferred← citeshttps://doi.org/10.1007/s11276-023-03587-zopenalex-snapshot
Smart contract: a survey towards extortionate vulnerability detection and security enhancement
inferred← citeshttps://doi.org/10.1007/s11277-024-11066-7openalex-snapshot
Escalating Gas Cost Optimization in Smart Contract
inferred← citeshttps://doi.org/10.1007/s11390-021-1674-4openalex-snapshot
Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts
inferred← citeshttps://doi.org/10.1007/s11432-024-4402-2openalex-snapshot
Agent4Vul: multimodal LLM agents for smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1007/s12083-024-01750-7openalex-snapshot
A smart contract vulnerability detection method based on deep learning with opcode sequences
inferred← citeshttps://doi.org/10.1007/s40747-025-01782-3openalex-snapshot
Small sample smart contract vulnerability detection method based on multi-layer feature fusion
inferred← citeshttps://doi.org/10.1007/s41870-024-01933-8openalex-snapshot
Blockchain-based security framework for mitigating network attacks in multi-SDN controller environment
inferred← citeshttps://doi.org/10.1007/s42452-023-05386-9openalex-snapshot
Logistics dynamic information retrieval based on blockchain data security model
inferred← citeshttps://doi.org/10.1007/s42488-021-00056-0openalex-snapshot
A Blockchain-Based Smart Contract Towards Developing Secured University Examination System
inferred← citeshttps://doi.org/10.1007/s42979-022-01163-4openalex-snapshot
Role-Based Smart Contract: An Intelligent System for Scholarly Communication
inferred← citeshttps://doi.org/10.1007/s42979-025-03777-wopenalex-snapshot
Hierarchical Contextual Embedding with Hybrid Deep Ensemble for IoT Smart Contract Vulnerability Detection
inferred← citeshttps://doi.org/10.1007/s43926-025-00274-7openalex-snapshot
Blockchain and IoT based smart contract framework for efficient and secure product life management
inferred← citeshttps://doi.org/10.1016/j.aei.2026.104701openalex-snapshot
VulGNN: A high-fidelity graph neural network framework for robust smart contract vulnerability detection
inferred← citeshttps://doi.org/10.1016/j.asoc.2023.110542openalex-snapshot
Gas-expensive patterns detection to optimize smart contracts
inferred← citeshttps://doi.org/10.1016/j.asoc.2024.111556openalex-snapshot
Effective combining source code and opcode for accurate vulnerability detection of smart contracts in edge AI systems
inferred← citeshttps://doi.org/10.1016/j.bar.2023.101270openalex-snapshot
Auditing decentralized finance
inferred← citeshttps://doi.org/10.1016/j.bcra.2022.100101openalex-snapshot
Eth2Vec: Learning contract-wide code representations for vulnerability detection on Ethereum smart contracts
inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100295openalex-snapshot
Analyzing the impact of elusive faults on blockchain reliability
showing the first 200 of 663 · page through all 663
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.