Cover Image

On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bernardo, Marco, Calandra, Federico, Esposito, Andrea, Fabris, Francesco
Format:	Preprint
Published:	2025
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Redactable Blockchains: An Overview
by: Calandra, Federico, et al.
Published: (2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
by: Esposito, Andrea, et al.
Published: (2025)

Fractional Payment Transactions: Executing Payment Transactions in Parallel with Less than f+1 Validations
by: Bazzi, Rida, et al.
Published: (2024)

PayOff: A Regulated Central Bank Digital Currency with Private Offline Payments
by: Beer, Carolin, et al.
Published: (2024)

Carbon: Scaling Trusted Payments with Untrusted Machines
by: Camaioni, Martina, et al.
Published: (2022)

On the Lifecycle of a Lightning Network Payment Channel
by: Grötschla, Florian, et al.
Published: (2024)

Transaction-Driven Dynamic Reconfiguration for Certificate-Based Payment Systems
by: Shangguan, Lingkang
Published: (2026)

Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
by: D'Amato, Francesco, et al.
Published: (2023)

SHARE: Optimizing Secure Hub Allocation and Routing Efficiency in Payment Channel Networks
by: Yang, Lingxiao, et al.
Published: (2025)

Formal and Empirical Study of Metadata-Based Profiling for Resource Management in the Computing Continuum
by: Morichetta, Andrea, et al.
Published: (2025)

SLURM Heterogeneous Jobs for Hybrid Classical-Quantum Workflows
by: Esposito, Aniello, et al.
Published: (2025)

Holoscope: Open and Lightweight Distributed Telescope & Honeypot Platform
by: Sordello, Andrea, et al.
Published: (2025)

A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability
by: Nardelli, Matteo, et al.
Published: (2025)

Repurposing of the Run 2 CMS High Level Trigger Infrastructure as a Cloud Resource for Offline Computing
by: Mascheroni, Marco, et al.
Published: (2024)

Formalization and security analysis of the Bridgeless protocol
by: Alpos, Orestis, et al.
Published: (2025)

PipeMax: Enhancing Offline LLM Inference on Commodity GPU Servers
by: Zhang, Hongbin, et al.
Published: (2026)

SiDP: Memory-Efficient Data Parallelism for Offline LLM Inference
by: Zhao, Alan, et al.
Published: (2026)

Byzantine-Resilient Population Protocols
by: Busch, Costas, et al.
Published: (2021)

OOCO: Latency-disaggregated Architecture for Online-Offline Co-locate LLM Serving
by: Wu, Siyu, et al.
Published: (2025)

Locality, Not Spectral Mixing, Governs Direct Propagation in Distributed Offline Dynamic Programming
by: Shihab, Ibne Farabi
Published: (2026)

Failure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge Continuum
by: Ponce, Francisco, et al.
Published: (2026)

Formal Definition and Implementation of Reproducibility Tenets for Computational Workflows
by: Pritchard, Nicholas J., et al.
Published: (2024)

Towards CXL Resilience to CPU Failures
by: Psistakis, Antonis, et al.
Published: (2026)

GPU Under Pressure: Estimating Application's Stress via Telemetry and Performance Counters
by: Esposito, Giuseppe, et al.
Published: (2025)

Monte Cimone v3: Where RISC-V Stands in High-Performance Computing
by: Venieri, Emanuele, et al.
Published: (2026)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
by: Popovic, Miroslav, et al.
Published: (2024)

FailSafe: High-performance Resilient Serving
by: Xu, Ziyi, et al.
Published: (2025)

Distributed Speculative Execution for Resilient Cloud Applications
by: Li, Tianyu, et al.
Published: (2024)

Enhancing Traffic Safety with AI and 6G: Latency Requirements and Real-Time Threat Detection
by: Horvath, Kurt, et al.
Published: (2025)

Offline Energy-Optimal LLM Serving: Workload-Based Energy Models for LLM Inference on Heterogeneous Systems
by: Wilkins, Grant, et al.
Published: (2024)

Straggler Tolerant and Resilient DL Training on Homogeneous GPUs
by: Zhang, Zeyu, et al.
Published: (2025)

Enhancing Kubernetes Resilience through Anomaly Detection and Prediction
by: Anemogiannis, V., et al.
Published: (2025)

Resilience through Automated Adaptive Configuration for Distribution and Replication
by: Stoller, Scott D., et al.
Published: (2025)

Areon: Latency-Friendly and Resilient Multi-Proposer Consensus
by: Castro-Castilla, Álvaro, et al.
Published: (2025)

Characterization-Guided GPU Fault Resilience in NVIDIA MPS
by: Liu, Rixin, et al.
Published: (2026)

Amortized Asynchronous Byzantine Reliable Broadcast with Optimal Resilience
by: Hu, Michael Yiqing, et al.
Published: (2026)

Adaptra: Straggler-Resilient Hybrid-Parallel Training with Pipeline Adaptation
by: Wu, Tianyuan, et al.
Published: (2025)

Round and Resilience-Optimal Approximate Agreement on Trees and Block Graphs
by: Fuchs, Marc, et al.
Published: (2025)

Resilient Auto-Scaling of Microservice Architectures with Efficient Resource Management
by: Ahmad, Hussain, et al.
Published: (2025)

The Task Completion Problem and its Application to Crash-Resilient Computation
by: Fischer, Orr, et al.
Published: (2026)