Martin Kleppmann

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 35

Top Topics

Multivalued Dependencies

Replicated Data

Top Venues

Security Protocols Workshop

Publications

Liangrun Da, Martin Kleppmann
Extending JSON CRDTs with Move Operations. PaPoC@EuroSys (2024)
Leo Stewen, Martin Kleppmann
Undo and Redo Support for Replicated Registers. CoRR (2024)
Martin Kleppmann, Paul Frazee, Jake Gold, Jay Graber, Daniel Holmgren, Devin Ivy, Jeromy Johnson, Bryan Newbold, Jaz Volpert
Bluesky and the AT Protocol: Usable Decentralized Social Media. CoRR (2024)
Leo Stewen, Martin Kleppmann
Undo and Redo Support for Replicated Registers. PaPoC@EuroSys (2024)
Liangrun Da, Martin Kleppmann
Extending JSON CRDT with Move Operations. CoRR (2023)
Matthew Weidner, Joseph Gentle, Martin Kleppmann
The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing. CoRR (2023)
Ceren Kocaogullar, Daniel Hugenroth, Martin Kleppmann, Alastair R. Beresford
Pudding: Private User Discovery in Anonymity Networks. CoRR (2023)
Martin Kleppmann, Peter Alvaro
Research for practice: convergence. Commun. ACM 65 (11) (2022)
Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, Alastair R. Beresford
A Highly-Available Move Operation for Replicated Trees. IEEE Trans. Parallel Distributed Syst. 33 (7) (2022)
Geoffrey Litt, Sarah Lim, Martin Kleppmann, Peter van Hardenberg
Peritext: A CRDT for Collaborative Rich Text Editing. Proc. ACM Hum. Comput. Interact. 6 (CSCW2) (2022)
Martin Kleppmann
Making CRDTs Byzantine fault tolerant. PaPoC@EuroSys (2022)
Martin Kleppmann, Peter Alvaro
Covergence: Research for Practice reboot. ACM Queue 20 (3) (2022)
Geoffrey Litt, Sarah Lim, Martin Kleppmann, Peter van Hardenberg
Peritext: A CRDT for Collaborative Rich Text Editing. Proc. ACM Hum. Comput. Interact. 6 (CSCW2) (2022)
Martin Kleppmann
Thinking in events: from databases to distributed collaboration software: keynote at the 15th ACM International Conference on Distributed and Event-Based Systems (DEBS). DEBS (2021)
Matthew Weidner, Martin Kleppmann, Daniel Hugenroth, Alastair R. Beresford
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees. CCS (2021)
Daniel Hugenroth, Martin Kleppmann, Alastair R. Beresford
Rollercoaster: An Efficient Group-Multicast Scheme for Mix Networks. USENIX Security Symposium (2021)
Martin Kleppmann, Heidi Howard
Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases. CoRR (2020)
Martin Kleppmann
Moving elements in list CRDTs. PaPoC@EuroSys (2020)
Matthew Weidner, Martin Kleppmann, Daniel Hugenroth, Alastair R. Beresford
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees. IACR Cryptol. ePrint Arch. 2020 (2020)
Peter van Hardenberg, Martin Kleppmann
PushPin: towards production-quality peer-to-peer collaboration. PaPoC@EuroSys (2020)
Martin Kleppmann, Alastair R. Beresford, Boerge Svingen
Online Event Processing. ACM Queue 17 (1) (2019)
Diana A. Vasile, Martin Kleppmann, Daniel R. Thomas, Alastair R. Beresford
Ghost Trace on the Wire? Using Key Evidence for Informed Decisions. Security Protocols Workshop (2019)
Stephan A. Kollmann, Martin Kleppmann, Alastair R. Beresford
Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing. Proc. Priv. Enhancing Technol. 2019 (3) (2019)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
Interleaving anomalies in collaborative text editors. PaPoC@EuroSys (2019)
Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, Mark McGranaghan
Local-first software: you own your data, in spite of the cloud. Onward! (2019)
Martin Kleppmann, Alastair R. Beresford, Boerge Svingen
Online event processing. Commun. ACM 62 (5) (2019)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). CoRR (2018)
Martin Kleppmann, Stephan A. Kollmann, Diana A. Vasile, Alastair R. Beresford
From Secure Messaging to Secure Collaboration. Security Protocols Workshop (2018)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
OpSets: Sequential Specifications for Replicated Datatypes. Arch. Formal Proofs 2018 (2018)
Martin Kleppmann
From Secure Messaging to Secure Collaboration (Transcript of Discussion). Security Protocols Workshop (2018)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
Verifying strong eventual consistency in distributed systems. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
Verifying Strong Eventual Consistency in Distributed Systems. CoRR (2017)
Martin Kleppmann, Alastair R. Beresford
A Conflict-Free Replicated JSON Datatype. IEEE Trans. Parallel Distributed Syst. 28 (10) (2017)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes. Arch. Formal Proofs 2017 (2017)
Martin Kleppmann, Alastair R. Beresford
A Conflict-Free Replicated JSON Datatype. CoRR (2016)
Martin Kleppmann, Jay Kreps
Kafka, Samza and the Unix Philosophy of Distributed Data. IEEE Data Eng. Bull. 38 (4) (2015)
Martin Kleppmann, Conrad Irwin
Strengthening Public Key Authentication Against Key Theft (Short Paper). PASSWORDS (2015)
Martin Kleppmann
A Critique of the CAP Theorem. CoRR (2015)