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

Protecting user agency with local-first software

Protecting user agency with local-first software

Slides from a keynote presentation given at the 2nd International Workshop on Distributed Infrastructure for Common Good (DICG), 7 December 2021.
https://dicg-workshop.github.io/2021/

Martin Kleppmann

December 07, 2021
Tweet

More Decks by Martin Kleppmann

Other Decks in Research

Transcript

  1. View Slide

  2. View Slide

  3. View Slide

  4. View Slide

  5. View Slide

  6. View Slide

  7. View Slide

  8. View Slide

  9. View Slide

  10. View Slide

  11. View Slide

  12. View Slide

  13. Cuneiform script on clay tablet, ca. 3000 BCE. Image from Wikimedia Commons.
    https://commons.wikimedia.org/wiki/File:Early_writing_tablet_recording_the_allocation_of_beer.jpg

    View Slide

  14. View Slide

  15. https://killedbygoogle.com/

    View Slide

  16. View Slide

  17. View Slide

  18. View Slide

  19. View Slide

  20. View Slide

  21. View Slide

  22. View Slide

  23. View Slide

  24. View Slide

  25. View Slide

  26. View Slide

  27. View Slide

  28. View Slide

  29. View Slide

  30. View Slide

  31. View Slide

  32. View Slide

  33. View Slide

  34. View Slide

  35. View Slide

  36. View Slide

  37. View Slide

  38. iMessage
    Signal
    WhatsApp
    End-to-end encryption for billions of users

    View Slide

  39. View Slide

  40. View Slide

  41. View Slide

  42. View Slide

  43. View Slide

  44. View Slide

  45. View Slide

  46. View Slide

  47. View Slide

  48. View Slide

  49. View Slide

  50. View Slide

  51. View Slide

  52. View Slide

  53. View Slide

  54. View Slide

  55. View Slide

  56. View Slide

  57. View Slide

  58. View Slide

  59. View Slide

  60. View Slide

  61. View Slide

  62. View Slide

  63. View Slide

  64. View Slide

  65. View Slide

  66. View Slide

  67. View Slide

  68. View Slide

  69. View Slide

  70. View Slide

  71. View Slide

  72. View Slide

  73. View Slide

  74. View Slide

  75. View Slide

  76. Research
    • End-to-end encryption: M. Weidner, M. Kleppmann, D.
    Hugenroth, A.R. Beresford. Key Agreement for Decentralized
    Secure Group Messaging with Strong Security Guarantees. ACM
    CCS, Nov 2021. doi:10.1145/3460120.3484542
    • Cryptographic integrity: M. Kleppmann, H. Howard. Byzantine
    Eventual Consistency and the Fundamental Limits of Peer-to-Peer
    Databases. Preprint arXiv:2012.00472, Dec 2020.
    • Metadata privacy: D. Hugenroth, M. Kleppmann, A.R. Beresford.
    Rollercoaster: An Efficient Group-Multicast Scheme for Mix
    Networks. USENIX Security, Aug 2021.
    • Formal verification: V.B.F. Gomes, M. Kleppmann, D.P. Mulligan,
    A.R. Beresford. Verifying Strong Eventual Consistency in
    Distributed Systems. PACMPL 1(OOPSLA), Oct 2017.
    doi:10.1145/3133933

    View Slide

  77. Resources
    Automerge https://github.com/automerge/automerge
    Local-first https://www.inkandswitch.com/local-first.html
    CRDTs https://crdt.tech/
    Email [email protected]
    Twitter @martinkl
    Support me https://www.patreon.com/martinkl
    Huge thanks to the Automerge community and contributors,
    especially Peter van Hardenberg, Orion Henry, Alex Good, Andrew
    Jeffery, Herb Caudill, and many others!

    View Slide