Image de couverture de livre

Combating Reentrancy Bugs on Sharded Blockchains

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kashitsyn, Roman, Künzler, Robin, Marić, Ognjen, Schmid, Lara
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security D.2.3; D.2.4; C.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
par: Yang, Yuhuan, et autres
Publié: (2025)

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

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

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

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

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

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

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

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

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

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

Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
par: Iasenovets, Artur, et autres
Publié: (2025)

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

Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety
par: Bilal, Muhammad, et autres
Publié: (2026)

Proving correctness for SQL implementations of OCL constraints
par: Nguyen, Hoang, et autres
Publié: (2024)

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

Model checking of hyperproperties for high-level relational models
par: Macedo, Nuno, 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)

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

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
par: Qin, Xue, et autres
Publié: (2026)

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

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

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

A Survey of Protocol Fuzzing
par: Zhang, Xiaohan, 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)

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

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
par: Ahmadvand, Mohsen, et autres
Publié: (2026)

Privacy-Aware Split Inference with Speculative Decoding for Large Language Models over Wide-Area Networks
par: Cunningham, Michael
Publié: (2026)

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

Verifying Procedural Programs via Constrained Rewriting Induction
par: Fuhs, Carsten, et autres
Publié: (2014)

Policy as Code, Policy as Type
par: Fuchs, Matthew D.
Publié: (2025)

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

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

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

Enabling Privacy-Preserving and Publicly Auditable Federated Learning
par: Zeng, Huang, et autres
Publié: (2024)

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

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
par: Zhao, Chunyu, et autres
Publié: (2025)

SoK: Advances and Open Problems in Web Tracking
par: Vekaria, Yash, et autres
Publié: (2025)

Privacy-preserving and reward-based mechanisms of proof of engagement
par: Montanari, Matteo Marco, et autres
Publié: (2025)

Microsegmented Cloud Network Architecture Using Open-Source Tools for a Zero Trust Foundation
par: Arora, Sunil, et autres
Publié: (2024)