Image de couverture de livre

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Yuhuan, Ye, Shipeng, Li, Xiaoqi
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security D.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
par: Wu, Jixuan, et autres
Publié: (2025)

Decentralized COVID-19 Health System Leveraging Blockchain
par: Chen, Lingsheng, et autres
Publié: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
par: Li, Xiaoqi, et autres
Publié: (2026)

Combating Reentrancy Bugs on Sharded Blockchains
par: Kashitsyn, Roman, et autres
Publié: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
par: Gridin, Iaroslav, et autres
Publié: (2024)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
par: Yang, Haowei
Publié: (2024)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
par: Kim, Hyunwoo, et autres
Publié: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
par: Garcia, Rémi, et autres
Publié: (2024)

Security-enhanced Blockchain with Twin-Field Quantum Key Distribution: A Physical Layer enabled Architecture
par: Li, Xuan, et autres
Publié: (2026)

Evasion Under Blockchain Sanctions
par: Liu, Endong, et autres
Publié: (2025)

A Survey of Protocol Fuzzing
par: Zhang, Xiaohan, et autres
Publié: (2024)

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

Security Considerations for Multi-agent Systems
par: Nguyen, Tam, et autres
Publié: (2026)

Secure Decentralized Learning with Blockchain
par: Zhang, Xiaoxue, et autres
Publié: (2023)

Advocate -- Trustworthy Evidence in Cloud Systems
par: Werner, Sebastian, et autres
Publié: (2024)

From Multi-sig to DLCs: Modern Oracle Designs on Bitcoin
par: Caldarelli, Giulio
Publié: (2026)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
par: Cheval, Vincent, et autres
Publié: (2022)

Evaluating Cryptographic API Misuse Detectors for Go
par: Andersson, Vivi, et autres
Publié: (2026)

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

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

Model checking of hyperproperties for high-level relational models
par: Macedo, Nuno, et autres
Publié: (2025)

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

Machine Learning-Based Detection of MCP Attacks
par: Mattsson, Tobias, et autres
Publié: (2026)

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

C8s: A Confidential Kubernetes Architecture
par: Asad, Amean, et autres
Publié: (2026)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
par: Chen, Jiachi, et autres
Publié: (2025)

DoS Attacks and Defense Technologies in Blockchain Systems: A Hierarchical Analysis
par: Zhang, Chunyi, et autres
Publié: (2025)

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

Automated Vulnerability Detection Using Deep Learning Technique
par: Yang, Guan-Yan, et autres
Publié: (2024)

Modelling Trust and Trusted Systems: A Category Theoretic Approach
par: Oliver, Ian, et autres
Publié: (2026)

Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities
par: Hedayatnia, Parsa, et autres
Publié: (2025)

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

Automatic verification of Finite Variant Property beyond convergent equational theories
par: Cheval, Vincent, et autres
Publié: (2024)

Verifying Device Drivers with Pancake
par: Zhao, Junming, et autres
Publié: (2025)

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
par: Rashie, Devakh, et autres
Publié: (2026)

System Password Security: Attack and Defense Mechanisms
par: Shi, Chaofang, et autres
Publié: (2025)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
par: Amusuo, Paschal C., et autres
Publié: (2026)

4-Swap: Achieving Grief-Free and Bribery-Safe Atomic Swaps Using Four Transactions
par: Singh, Kirti, et autres
Publié: (2025)

TeeMAF: A TEE-Based Mutual Attestation Framework for On-Chain and Off-Chain Functions in Blockchain DApps
par: Liu, Xiangyu, et autres
Publié: (2026)

Blockchain Technology: Core Mechanisms, Evolution, and Future Implementation Challenges
par: Singh, Aditya Pratap
Publié: (2025)