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]
@inproceedings{MauriCD20,
title = {A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol},
author = {Lara Mauri and Stelvio Cimato and Ernesto Damiani},
year = {2020},
doi = {10.5220/0008954200520063},
url = {https://doi.org/10.5220/0008954200520063},
researchr = {https://researchr.org/publication/MauriCD20},
cites = {0},
citedby = {0},
pages = {52-63},
booktitle = {Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020},
editor = {Steven Furnell and Paolo Mori and Edgar R. Weippl and Olivier Camp},
publisher = {SCITEPRESS},
isbn = {978-989-758-399-5},
}