loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Lara Mauri 1 ; Stelvio Cimato 1 and Ernesto Damiani 1 ; 2

Affiliations: 1 Computer Science Department, Università degli Studi di Milano, Milan, Italy ; 2 EBTIC - Khalifa University of Science and Technology, Abu Dhabi, U.A.E.

Keyword(s): XRP Ledger, Ripple, Cryptographic Protocol, Consensus, Distributed Ledger.

Abstract: Distributed ledger technology is envisioned as one of the cornerstones of promising solutions for building the next generation of critical applications. However, there is still quite a bit of confusion and hype around the real security guarantees this technology offers. This is especially due to the fact that for the vast majority of existing blockchain-based consensus protocols it is really hard to find sufficiently detailed documentation that fully captures their behavior. A number of recent papers have formalized the behavior of Bitcoin-like protocols in order to rigorously study the security and privacy properties of their underlying structure, but surprisingly very little work has been devoted to the formalization of distributed ledger systems using BFT-like approaches. In this work, we focus on XRP Ledger, better known as Ripple, and take the first steps towards the complete formalization of its consensus protocol. To this end, we have investigated all the existing documentatio n and analyzed its source code. We present a formal description of its consensus protocol for every step. Furthermore, we provide an accurate view of its security guarantees in terms of safety and liveness and show how to increase the desired tolerance by changing the value of specific protocol parameters. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 98.80.143.34

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Mauri, L.; Cimato, S. and Damiani, E. (2020). A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol. In Proceedings of the 6th International Conference on Information Systems Security and Privacy - ICISSP; ISBN 978-989-758-399-5; ISSN 2184-4356, SciTePress, pages 52-63. DOI: 10.5220/0008954200520063

@conference{icissp20,
author={Lara Mauri. and Stelvio Cimato. and Ernesto Damiani.},
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},
year={2020},
pages={52-63},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008954200520063},
isbn={978-989-758-399-5},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Information Systems Security and Privacy - ICISSP
TI - A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol
SN - 978-989-758-399-5
IS - 2184-4356
AU - Mauri, L.
AU - Cimato, S.
AU - Damiani, E.
PY - 2020
SP - 52
EP - 63
DO - 10.5220/0008954200520063
PB - SciTePress