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

Lara Mauri Stelvio Cimato Ernesto Damiani

Published in: ICISSP (2020)

Keyphrases

formal analysis
information retrieval
data analysis
machine learning
real world
artificial intelligence
expert systems
quantitative analysis