Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Adapting secure group messaging for encrypted CRDTs

Adapting secure group messaging for encrypted CRDTs

Slides from a talk at LightKone workshop on Verification, Security and Antidote.

Kaiserslautern, Germany, 15 May 2019.



Secure messaging apps like WhatsApp, Signal, and iMessage have brought end-to-end encryption to over 1 billion users. The protocols underlying these apps provide much stronger security properties than earlier encryption systems such as PGP/GnuPG. This makes them an interesting basis for implementing CRDT-based data systems with end-to-end security: if we simply send all the CRDT operations or state updates via a secure messaging protocol, we inherit its strong security properties.

However, there are lots of subtleties about the guarantees provided by secure messaging protocols: in particular, the properties that hold for communication between two parties often don't easily generalise to groups of more than two participants. This talk will summarise the current state of research in secure group messaging, and discuss how we can bring this work into the world of CRDTs.

Martin Kleppmann

May 15, 2019

More Decks by Martin Kleppmann

Other Decks in Research


  1. None
  2. None
  3. None
  4. None
  5. None
  6. None
  7. None
  8. None
  9. None
  10. None
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. None
  24. None
  25. None
  26. None
  27. None
  28. None
  29. None
  30. None
  31. None
  32. None
  33. None
  34. None
  35. References Snapdoc: https://martin.kleppmann.com/papers/snapdoc-pets19.pdf MLS: https://messaginglayersecurity.rocks ART: https://eprint.iacr.org/2017/666.pdf TreeKEM: https://mailarchive.ietf.org/arch/msg/mls/ v1CY0jFAOVOHokB4DtNqS__tX1o/4

    KleeQ: http://cacr.uwaterloo.ca/techreports/2007/cacr2007-03.pdf Loopix: https://www.usenix.org/system/files/conference/ usenixsecurity17/sec17-piotrowska.pdf Contact: Martin Kleppmann <mk428@cl.cam.ac.uk>