External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Lara Mauri, Stelvio Cimato, Ernesto Damiani. A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol. In Steven Furnell, Paolo Mori, Edgar R. Weippl, Olivier Camp, editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020. pages 52-63, SCITEPRESS, 2020. [doi]

Authors

Lara Mauri

This author has not been identified. Look up 'Lara Mauri' in Google

Stelvio Cimato

This author has not been identified. It may be one of the following persons: Look up 'Stelvio Cimato' in Google

Ernesto Damiani

This author has not been identified. Look up 'Ernesto Damiani' in Google
runs on