@article{DBLP:journals/iacr/AlbrechtDJ25,
  author       = {Martin R. Albrecht and
                  Benjamin Dowling and
                  Daniel Jones},
  title        = {Formal Analysis of Multi-Device Group Messaging in WhatsApp},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {794},
  year         = {2025},
  url          = {https://eprint.iacr.org/2025/794},
  timestamp    = {Tue, 27 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/AlbrechtDJ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mWPtxMPgCtrjokmgT","bibbaseid":"albrecht-dowling-jones-formalanalysisofmultidevicegroupmessaginginwhatsapp-2025","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":"Formal Analysis of Multi-Device Group Messaging in WhatsApp","journal":"IACR Cryptol. ePrint Arch.","pages":"794","year":"2025","url":"https://eprint.iacr.org/2025/794","timestamp":"Tue, 27 May 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iacr/AlbrechtDJ25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iacr/AlbrechtDJ25,\n author = {Martin R. Albrecht and\n Benjamin Dowling and\n Daniel Jones},\n title = {Formal Analysis of Multi-Device Group Messaging in WhatsApp},\n journal = {{IACR} Cryptol. ePrint Arch.},\n pages = {794},\n year = {2025},\n url = {https://eprint.iacr.org/2025/794},\n timestamp = {Tue, 27 May 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iacr/AlbrechtDJ25.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/AlbrechtDJ25","id":"DBLP:journals/iacr/AlbrechtDJ25","bibbaseid":"albrecht-dowling-jones-formalanalysisofmultidevicegroupmessaginginwhatsapp-2025","role":"author","urls":{"Paper":"https://eprint.iacr.org/2025/794"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/a/Albrecht:Martin_R=","dataSources":["nNWn9GD9paFhQPHAh"],"keywords":[],"search_terms":["formal","analysis","multi","device","group","messaging","whatsapp","albrecht","dowling","jones"],"title":"Formal Analysis of Multi-Device Group Messaging in WhatsApp","year":2025}