2 papers
cs.DC2026
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
Marco Bernardo, Federico Calandra, Andrea Esposito +1
Information and communication technologies are by now employed in most human activities, including economics and finance. Modern computers have reached an extraordinary power in te…
cs.CR2025
Redactable Blockchains: An Overview
Federico Calandra, Marco Bernardo, Andrea Esposito +1
Blockchains are widely recognized for their immutability, which provides robust guarantees of data integrity and transparency. However, this same feature poses significant challeng…