output
20132025
most citedThe Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

14 citations

researchers with a paper here
collaborating institutions
Showing 2025Show all

1 paper · 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…