@misc{indiciae8b4add5c9300,
  title = {On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments},
  author = {Marco Bernardo and Federico Calandra and Andrea Esposito and Francesco Fabris},
  year = {2026},
  url = {https://arxiv.org/abs/2508.08064},
  note = {Source identifier: 2508.08064}
}