Showing cs.DCShow all
2 papers · 1 filter
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.DC2025
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…