Martin Kleppmann’s Blog
Subscribe
Sign in
Home
Archive
About
Pudding: user discovery for anonymity networks
New paper!
Jul 5, 2024
•
Martin Kleppmann
Latest
Top
Bluesky and the AT Protocol: Usable Decentralized Social Media
New paper!
Feb 7, 2024
•
Martin Kleppmann
My year 2023 in review
New blog post!
Jan 4, 2024
•
Martin Kleppmann
Verifying distributed systems with Isabelle/HOL
Hi there!
Oct 12, 2022
•
Martin Kleppmann
Book Review: The Future of Fusion Energy
Happy new year!
Jan 3, 2022
•
Martin Kleppmann
Peritext: A CRDT for Rich-Text Collaboration
Our new paper just landed!
Nov 24, 2021
•
Martin Kleppmann
Several podcast interviews
I have given a bunch of interviews for podcasts lately — three interviews just this summer, and about a dozen over the last couple of years, covering a…
Sep 1, 2021
•
Martin Kleppmann
Harm reduction for cryptographic backdoors
We keep hearing from law enforcement and politicians that end-to-end encryption creates safe spaces for child abusers and other terrible people, and…
Jul 16, 2021
•
Martin Kleppmann
See all
Martin Kleppmann’s Blog
Distributed systems, databases, and information security
Subscribe
Martin Kleppmann’s Blog
Subscribe
About
Archive
Sitemap
Share this publication
martinkl
Martin Kleppmann’s Blog
Copy link
Facebook
Email
Notes
More
Share
Copy link
Facebook
Email
Notes
More
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts