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/

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 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!
    

    View Slide