A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol. Mauri, L., Cimato, S., & Damiani, E. In Furnell, S., Mori, P., Weippl, E. R., & Camp, O., editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020, pages 52–63, 2020. SCITEPRESS.
A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/icissp/MauriCD20,
  author    = {Lara Mauri and
               Stelvio Cimato and
               Ernesto Damiani},
  editor    = {Steven Furnell and
               Paolo Mori and
               Edgar R. Weippl and
               Olivier Camp},
  title     = {A Formal Approach for the Analysis of the {XRP} Ledger Consensus Protocol},
  booktitle = {Proceedings of the 6th International Conference on Information Systems
               Security and Privacy, {ICISSP} 2020, Valletta, Malta, February 25-27,
               2020},
  pages     = {52--63},
  publisher = {{SCITEPRESS}},
  year      = {2020},
  url       = {https://doi.org/10.5220/0008954200520063},
  doi       = {10.5220/0008954200520063},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icissp/MauriCD20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0