Cover Image

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Esposito, Andrea, Rossi, Francesco P., Bernardo, Marco, Fabris, Francesco, Garavel, Hubert
Format:	Preprint
Published:	2025
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
by: Bernardo, Marco, et al.
Published: (2025)

Redactable Blockchains: An Overview
by: Calandra, Federico, et al.
Published: (2025)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
by: Popovic, Miroslav, et al.
Published: (2024)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

A Fast Confirmation Rule (aka Fast Synchronous Finality) for the Ethereum Consensus Protocol
by: Asgaonkar, Aditya, et al.
Published: (2024)

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
by: Alpturer, Kaya, et al.
Published: (2025)

SoK: DAG-based Consensus Protocols
by: Raikwar, Mayank, et al.
Published: (2024)

Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
by: D'Amato, Francesco, et al.
Published: (2023)

Majorum: Ebb-and-Flow Consensus with Dynamic Quorums
by: D'Amato, Francesco, et al.
Published: (2026)

3-Slot-Finality Protocol for Ethereum
by: D'Amato, Francesco, et al.
Published: (2024)

Interactive Visualization of Proof-of-Work Consensus Protocol on Raspberry Pi
by: Ivashkevich, Anton, et al.
Published: (2025)

An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model
by: El-Hayek, Antoine, et al.
Published: (2025)

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
by: Popovic, Miroslav, et al.
Published: (2025)

DynaShard: Secure and Adaptive Blockchain Sharding Protocol with Hybrid Consensus and Dynamic Shard Management
by: Liu, Ao, et al.
Published: (2024)

Reputation-based PoS for the Restriction of Illicit Activities on Blockchain: Algorand Usecase
by: Pandey, Mayank, et al.
Published: (2021)

PARSIR: a Package for Effective Parallel Discrete Event Simulation on Multi-processor Machines
by: Quaglia, Francesco
Published: (2024)

Population Protocols for Exact Plurality Consensus -- How a small chance of failure helps to eliminate insignificant opinions
by: Bankhamer, Gregor, et al.
Published: (2024)

Byzantine Consensus in the Random Asynchronous Model
by: Danezis, George, et al.
Published: (2025)

Crossword: Adaptive Consensus for Dynamic Data-Heavy Workloads
by: Hu, Guanzhou, et al.
Published: (2025)

Beluga: Block Synchronization for BFT Consensus Protocols
by: Kichidis, Tasos, et al.
Published: (2025)

Efficient and Secure Sleepy Model for BFT Consensus
by: Ren, Pengkun, et al.
Published: (2025)

Consensus In Asynchrony
by: Klianev, Ivan
Published: (2026)

Permissionless Consensus
by: Lewis-Pye, Andrew, et al.
Published: (2023)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
by: Garavel, Hubert
Published: (2026)

OptiLog: Assigning Roles in Byzantine Consensus
by: Gogada, Hanish, et al.
Published: (2025)

Light Virtualization: a proof-of-concept for hardware-based virtualization
by: Ciraolo, Francesco, et al.
Published: (2025)

Oblivious Robots Under Round Robin: Gathering on Rings
by: Navarra, Alfredo, et al.
Published: (2025)

Hiding Latencies in Network-Based Image Loading for Deep Learning
by: Versaci, Francesco, et al.
Published: (2025)

Comparing the Run-time Behavior of Modern PDES Engines on Alternative Hardware Architectures
by: Marotta, Romolo, et al.
Published: (2025)

Proximal Byzantine Consensus
by: Shadmon, Roy, et al.
Published: (2024)

Stochastic Modeling for Energy-Efficient Edge Infrastructure
by: Rossi, Fabio Diniz
Published: (2025)

Model Input Verification of Large Scale Simulations
by: Neykova, Rumyana, et al.
Published: (2024)

Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains
by: Xu, Yibin, et al.
Published: (2024)

Formal and Empirical Study of Metadata-Based Profiling for Resource Management in the Computing Continuum
by: Morichetta, Andrea, et al.
Published: (2025)

Tolerating Disasters with Hierarchical Consensus
by: Yahyaoui, Wassim, et al.
Published: (2025)

The Economic Limits of Permissionless Consensus
by: Budish, Eric, et al.
Published: (2024)

Determining Recoverable Consensus Numbers
by: Ovens, Sean
Published: (2024)

Synchronous Consensus in Partial Synchrony
by: Klianev, Ivan
Published: (2023)

Dynamic Size Counting in the Population Protocol Model
by: Kaaser, Dominik, et al.
Published: (2024)

Self-Balancing Semi-Hierarchical PCNs for CBDCs
by: Benedetti, Marco, et al.
Published: (2024)