{"_id":"9Mmo7Rh5zWarEXahP","bibbaseid":"mauri-cimato-damiani-aformalapproachfortheanalysisofthexrpledgerconsensusprotocol-2020","authorIDs":[],"author_short":["Mauri, L.","Cimato, S.","Damiani, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lara"],"propositions":[],"lastnames":["Mauri"],"suffixes":[]},{"firstnames":["Stelvio"],"propositions":[],"lastnames":["Cimato"],"suffixes":[]},{"firstnames":["Ernesto"],"propositions":[],"lastnames":["Damiani"],"suffixes":[]}],"editor":[{"firstnames":["Steven"],"propositions":[],"lastnames":["Furnell"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Mori"],"suffixes":[]},{"firstnames":["Edgar","R."],"propositions":[],"lastnames":["Weippl"],"suffixes":[]},{"firstnames":["Olivier"],"propositions":[],"lastnames":["Camp"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/icissp/MauriCD20,\n author = {Lara Mauri and\n Stelvio Cimato and\n Ernesto Damiani},\n editor = {Steven Furnell and\n Paolo Mori and\n Edgar R. Weippl and\n Olivier Camp},\n title = {A Formal Approach for the Analysis of the {XRP} Ledger Consensus Protocol},\n booktitle = {Proceedings of the 6th International Conference on Information Systems\n Security and Privacy, {ICISSP} 2020, Valletta, Malta, February 25-27,\n 2020},\n pages = {52--63},\n publisher = {{SCITEPRESS}},\n year = {2020},\n url = {https://doi.org/10.5220/0008954200520063},\n doi = {10.5220/0008954200520063},\n timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icissp/MauriCD20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mauri, L.","Cimato, S.","Damiani, E."],"editor_short":["Furnell, S.","Mori, P.","Weippl, E. R.","Camp, O."],"key":"DBLP:conf/icissp/MauriCD20","id":"DBLP:conf/icissp/MauriCD20","bibbaseid":"mauri-cimato-damiani-aformalapproachfortheanalysisofthexrpledgerconsensusprotocol-2020","role":"author","urls":{"Paper":"https://doi.org/10.5220/0008954200520063"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","creationDate":"2021-01-14T18:29:35.973Z","downloads":0,"keywords":[],"search_terms":["formal","approach","analysis","xrp","ledger","consensus","protocol","mauri","cimato","damiani"],"title":"A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol","year":2020,"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}