{"id":"https://openalex.org/W3013237272","doi":"https://doi.org/10.5220/0008954200520063","title":"A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol","display_name":"A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3013237272","doi":"https://doi.org/10.5220/0008954200520063","mag":"3013237272"},"language":"en","primary_location":{"id":"doi:10.5220/0008954200520063","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0008954200520063","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0008954200520063","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058810729","display_name":"Lara Mauri","orcid":"https://orcid.org/0000-0002-4024-1015"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lara Mauri","raw_affiliation_strings":["Computer Science Department, Universit\u00e0 degli Studi di Milano, Milan, Italy, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universit\u00e0 degli Studi di Milano, Milan, Italy, --- Select a Country ---","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054965999","display_name":"Stelvio Cimato","orcid":"https://orcid.org/0000-0003-1737-6218"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stelvio Cimato","raw_affiliation_strings":["Computer Science Department, Universit\u00e0 degli Studi di Milano, Milan, Italy, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universit\u00e0 degli Studi di Milano, Milan, Italy, --- Select a Country ---","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075830877","display_name":"Ernesto Damiani","orcid":"https://orcid.org/0000-0002-9557-6496"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ernesto Damiani","raw_affiliation_strings":["Computer Science Department, Universit\u00e0 degli Studi di Milano, Milan, Italy, EBTIC - Khalifa University of Science and Technology, Abu Dhabi, U.A.E., --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universit\u00e0 degli Studi di Milano, Milan, Italy, EBTIC - Khalifa University of Science and Technology, Abu Dhabi, U.A.E., --- Select a Country ---","institution_ids":["https://openalex.org/I189158943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I189158943"],"apc_list":null,"apc_paid":null,"fwci":3.4082,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.93429513,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"52","last_page":"63"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9864000082015991,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9684000015258789,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ledger","display_name":"Ledger","score":0.744907021522522},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7176948189735413},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5221498608589172},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.503123939037323},{"id":"https://openalex.org/keywords/distributed-ledger","display_name":"Distributed ledger","score":0.5027744770050049},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2654680013656616},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.2515416145324707},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20187515020370483},{"id":"https://openalex.org/keywords/accounting","display_name":"Accounting","score":0.13602688908576965},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.07324707508087158},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.05599948763847351}],"concepts":[{"id":"https://openalex.org/C91302708","wikidata":"https://www.wikidata.org/wiki/Q2732056","display_name":"Ledger","level":2,"score":0.744907021522522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7176948189735413},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5221498608589172},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.503123939037323},{"id":"https://openalex.org/C2777541363","wikidata":"https://www.wikidata.org/wiki/Q25110971","display_name":"Distributed ledger","level":3,"score":0.5027744770050049},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2654680013656616},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.2515416145324707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20187515020370483},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.13602688908576965},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.07324707508087158},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.05599948763847351},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5220/0008954200520063","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0008954200520063","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},{"id":"pmh:oai:air.unimi.it:2434/728100","is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/728100","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"doi:10.5220/0008954200520063","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0008954200520063","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W851575271","https://openalex.org/W2035362408","https://openalex.org/W2126924915","https://openalex.org/W2295594229","https://openalex.org/W2486460265","https://openalex.org/W2553854225","https://openalex.org/W2571698069","https://openalex.org/W2573050643","https://openalex.org/W2604903677","https://openalex.org/W2613387059","https://openalex.org/W2732365592","https://openalex.org/W2739845435","https://openalex.org/W2758945826","https://openalex.org/W2767855054","https://openalex.org/W2770149261","https://openalex.org/W2785987568","https://openalex.org/W2788443451","https://openalex.org/W2791770565","https://openalex.org/W2801673812","https://openalex.org/W2935154965","https://openalex.org/W2942452951","https://openalex.org/W3098532907","https://openalex.org/W4230222559","https://openalex.org/W4248175462","https://openalex.org/W4288364177","https://openalex.org/W4295720133"],"related_works":["https://openalex.org/W4226088185","https://openalex.org/W3005980542","https://openalex.org/W4298013519","https://openalex.org/W2810405473","https://openalex.org/W2949445060","https://openalex.org/W4224952008","https://openalex.org/W2800938687","https://openalex.org/W3135632358","https://openalex.org/W4287703679","https://openalex.org/W3177205310"],"abstract_inverted_index":{"Distributed":[0],"ledger":[1,107],"technology":[2,37],"is":[3,22,39,56],"envisioned":[4],"as":[5,121],"one":[6],"of":[7,10,18,27,50,70,77,90,105,132,154,166,172,188],"the":[8,15,32,43,47,75,85,103,125,129,142,181,186],"cornerstones":[9],"promising":[11],"solutions":[12],"for":[13,46,158],"building":[14],"next":[16],"generation":[17],"critical":[19],"applications.However,":[20],"there":[21],"still":[23],"quite":[24],"a":[25,151],"bit":[26],"confusion":[28],"and":[29,87,123,145,174,176],"hype":[30],"around":[31],"real":[33],"security":[34,86,168],"guarantees":[35,169],"this":[36,112,136],"offers.This":[38],"especially":[40],"due":[41],"to":[42,59,82,102,179],"fact":[44],"that":[45,64],"vast":[48],"majority":[49],"existing":[51,143],"blockchain-based":[52],"consensus":[53,134,156],"protocols":[54,79],"it":[55],"really":[57],"hard":[58],"find":[60],"sufficiently":[61],"detailed":[62],"documentation":[63,144],"fully":[65],"captures":[66],"their":[67,91],"behavior.A":[68],"number":[69],"recent":[71],"papers":[72],"have":[73,139],"formalized":[74],"behavior":[76],"Bitcoin-like":[78],"in":[80,170],"order":[81],"rigorously":[83],"study":[84],"privacy":[88],"properties":[89],"underlying":[92],"structure,":[93],"but":[94],"surprisingly":[95],"very":[96],"little":[97],"work":[98],"has":[99],"been":[100],"devoted":[101],"formalization":[104,131],"distributed":[106],"systems":[108],"using":[109],"BFTlike":[110],"approaches.In":[111],"work,":[113],"we":[114,138,161],"focus":[115],"on":[116],"XRP":[117],"Ledger,":[118],"better":[119],"known":[120],"Ripple,":[122],"take":[124],"first":[126],"steps":[127],"towards":[128],"complete":[130],"its":[133,147,155,167],"protocol.To":[135],"end,":[137],"investigated":[140],"all":[141],"analyzed":[146],"source":[148],"code.We":[149],"present":[150],"formal":[152],"description":[153],"protocol":[157,190],"every":[159],"step.Furthermore,":[160],"provide":[162],"an":[163],"accurate":[164],"view":[165],"terms":[171],"safety":[173],"liveness":[175],"show":[177],"how":[178],"increase":[180],"desired":[182],"tolerance":[183],"by":[184],"changing":[185],"value":[187],"specific":[189],"parameters.":[191]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}