@inproceedings{DBLP:conf/sp/AlbrechtDJ24,
  author       = {Martin R. Albrecht and
                  Benjamin Dowling and
                  Daniel Jones},
  title        = {Device-Oriented Group Messaging: {A} Formal Cryptographic Analysis
                  of Matrix' Core},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2024, San Francisco,
                  CA, USA, May 19-23, 2024},
  pages        = {2666--1685},
  year         = {2024},
  crossref     = {DBLP:conf/sp/2024},
  url          = {https://doi.org/10.1109/SP54263.2024.00075},
  doi          = {10.1109/SP54263.2024.00075},
  timestamp    = {Sat, 21 Sep 2024 14:24:56 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/AlbrechtDJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"shZH6Z6iY8DrKW74N","bibbaseid":"albrecht-dowling-jones-deviceorientedgroupmessagingaformalcryptographicanalysisofmatrixcore-2024","author_short":["Albrecht, M. R.","Dowling, B.","Jones, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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","booktitle":"IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024","pages":"2666–1685","year":"2024","crossref":"DBLP:conf/sp/2024","url":"https://doi.org/10.1109/SP54263.2024.00075","doi":"10.1109/SP54263.2024.00075","timestamp":"Sat, 21 Sep 2024 14:24:56 +0200","biburl":"https://dblp.org/rec/conf/sp/AlbrechtDJ24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sp/AlbrechtDJ24,\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 booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2024, San Francisco,\n CA, USA, May 19-23, 2024},\n pages = {2666--1685},\n year = {2024},\n crossref = {DBLP:conf/sp/2024},\n url = {https://doi.org/10.1109/SP54263.2024.00075},\n doi = {10.1109/SP54263.2024.00075},\n timestamp = {Sat, 21 Sep 2024 14:24:56 +0200},\n biburl = {https://dblp.org/rec/conf/sp/AlbrechtDJ24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Albrecht, M. R.","Dowling, B.","Jones, D."],"key":"DBLP:conf/sp/AlbrechtDJ24","id":"DBLP:conf/sp/AlbrechtDJ24","bibbaseid":"albrecht-dowling-jones-deviceorientedgroupmessagingaformalcryptographicanalysisofmatrixcore-2024","role":"author","urls":{"Paper":"https://doi.org/10.1109/SP54263.2024.00075"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","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":2024}