A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol.

Lara Mauri, Stelvio Cimato, Ernesto Damiani

Browse the full ICISSP paper archive.