TY  - RPRT
TI  - On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
AU  - Marco Bernardo
AU  - Federico Calandra
AU  - Andrea Esposito
AU  - Francesco Fabris
PY  - 2026
UR  - https://arxiv.org/abs/2508.08064
ID  - 2508.08064
ER  -