Imagen de Portada

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wu, Jixuan, Xie, Lei, Li, Xiaoqi
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
por: Yang, Yuhuan, et al.
Publicado: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
por: Li, Xiaoqi, et al.
Publicado: (2026)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
por: Chen, Jiachi, et al.
Publicado: (2025)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
por: Yang, Haowei
Publicado: (2024)

Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities
por: Hedayatnia, Parsa, et al.
Publicado: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
por: Kashitsyn, Roman, et al.
Publicado: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
por: Kim, Hyunwoo, et al.
Publicado: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
por: Gridin, Iaroslav, et al.
Publicado: (2024)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
por: Garcia, Rémi, et al.
Publicado: (2024)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
por: Zhang, Chunyi, et al.
Publicado: (2025)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
por: Rawat, Sanjay
Publicado: (2026)

Automated Vulnerability Detection Using Deep Learning Technique
por: Yang, Guan-Yan, et al.
Publicado: (2024)

Federated Learning for Smart Grid: A Survey on Applications and Potential Vulnerabilities
por: Zhang, Zikai, et al.
Publicado: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
por: Kadaboina, Ravi Kiran
Publicado: (2026)

SoK: Current State of Ethereum's Enshrined Proposer Builder Separation
por: Koegler, Maxwell
Publicado: (2025)

A Survey of Protocol Fuzzing
por: Zhang, Xiaohan, et al.
Publicado: (2024)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
por: Cheval, Vincent, et al.
Publicado: (2022)

Evaluating Cryptographic API Misuse Detectors for Go
por: Andersson, Vivi, et al.
Publicado: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
por: Mitra, Joydeep, et al.
Publicado: (2020)

Model checking of hyperproperties for high-level relational models
por: Macedo, Nuno, et al.
Publicado: (2025)

C8s: A Confidential Kubernetes Architecture
por: Asad, Amean, et al.
Publicado: (2026)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
por: Churilov, Aleksandr
Publicado: (2026)

From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
por: Afifi, Tamer, et al.
Publicado: (2026)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
por: Marri, Srinivas Rao
Publicado: (2026)

Pioplat: A Scalable, Low-Cost Framework for Latency Reduction in Ethereum Blockchain
por: Wang, Ke, et al.
Publicado: (2024)

Automatic verification of Finite Variant Property beyond convergent equational theories
por: Cheval, Vincent, et al.
Publicado: (2024)

Verifying Device Drivers with Pancake
por: Zhao, Junming, et al.
Publicado: (2025)

Techreport: Evaluating Tor-based Location Privacy for Ethereum Validators
por: Janjua, Muhammad Umar, et al.
Publicado: (2026)

Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
por: Iasenovets, Artur, et al.
Publicado: (2025)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
por: Nathanson, Samuel, et al.
Publicado: (2025)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
por: Amusuo, Paschal C., et al.
Publicado: (2026)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
por: Dalugoda, Asiri
Publicado: (2026)

USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts
por: Li, Xiaoqi, et al.
Publicado: (2025)

Advocate -- Trustworthy Evidence in Cloud Systems
por: Werner, Sebastian, et al.
Publicado: (2024)

4-Swap: Achieving Grief-Free and Bribery-Safe Atomic Swaps Using Four Transactions
por: Singh, Kirti, et al.
Publicado: (2025)

Evasion Under Blockchain Sanctions
por: Liu, Endong, et al.
Publicado: (2025)

From Multi-sig to DLCs: Modern Oracle Designs on Bitcoin
por: Caldarelli, Giulio
Publicado: (2026)

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
por: Peng, Chenyang, et al.
Publicado: (2025)

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
por: Ahmadvand, Mohsen, et al.
Publicado: (2026)