3 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.DC2025
Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
Andrea Esposito, Francesco P. Rossi, Marco Bernardo +2
Algorand is a scalable and secure permissionless blockchain that achieves proof-of-stake consensus via cryptographic self-sortition and binary Byzantine agreement. In this paper we…
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…