@article{DBLP:journals/iacr/AlbrechtDJ23,
  author       = {Martin R. Albrecht and
                  Benjamin Dowling and
                  Daniel Jones},
  title        = {Device-Oriented Group Messaging: {A} Formal Cryptographic Analysis
                  of Matrix' Core},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1300},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1300},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/AlbrechtDJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vXfZy5MedswrW43QX","bibbaseid":"albrecht-dowling-jones-deviceorientedgroupmessagingaformalcryptographicanalysisofmatrixcore-2023","author_short":["Albrecht, M. R.","Dowling, B.","Jones, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Martin","R."],"propositions":[],"lastnames":["Albrecht"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Dowling"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jones"],"suffixes":[]}],"title":"Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core","journal":"IACR Cryptol. ePrint Arch.","pages":"1300","year":"2023","url":"https://eprint.iacr.org/2023/1300","timestamp":"Fri, 08 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iacr/AlbrechtDJ23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iacr/AlbrechtDJ23,\n author = {Martin R. Albrecht and\n Benjamin Dowling and\n Daniel Jones},\n title = {Device-Oriented Group Messaging: {A} Formal Cryptographic Analysis\n of Matrix' Core},\n journal = {{IACR} Cryptol. ePrint Arch.},\n pages = {1300},\n year = {2023},\n url = {https://eprint.iacr.org/2023/1300},\n timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iacr/AlbrechtDJ23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Albrecht, M. R.","Dowling, B.","Jones, D."],"key":"DBLP:journals/iacr/AlbrechtDJ23","id":"DBLP:journals/iacr/AlbrechtDJ23","bibbaseid":"albrecht-dowling-jones-deviceorientedgroupmessagingaformalcryptographicanalysisofmatrixcore-2023","role":"author","urls":{"Paper":"https://eprint.iacr.org/2023/1300"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/a/Albrecht:Martin_R=","dataSources":["nNWn9GD9paFhQPHAh"],"keywords":[],"search_terms":["device","oriented","group","messaging","formal","cryptographic","analysis","matrix","core","albrecht","dowling","jones"],"title":"Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core","year":2023}