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/

0d4ef9af8e4f0cf5c162b48ba24faea6?s=128

Martin Kleppmann

December 07, 2021
Tweet

Transcript

  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. 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
  14. None
  15. https://killedbygoogle.com/

  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. None
  36. None
  37. None
  38. iMessage Signal WhatsApp End-to-end encryption for billions of users

  39. None
  40. None
  41. None
  42. None
  43. None
  44. None
  45. None
  46. None
  47. None
  48. None
  49. None
  50. None
  51. None
  52. None
  53. None
  54. None
  55. None
  56. None
  57. None
  58. None
  59. None
  60. None
  61. None
  62. None
  63. None
  64. None
  65. None
  66. None
  67. None
  68. None
  69. None
  70. None
  71. None
  72. None
  73. None
  74. None
  75. None
  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
  77. Resources Automerge https://github.com/automerge/automerge Local-first https://www.inkandswitch.com/local-first.html CRDTs https://crdt.tech/ Email martin@kleppmann.com 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!