Slide 107
Slide 107 text
References
• Alex Good, John Mumm, and Brooklyn Zelenka. Keyhive lab notebook:
Local-first access control. Ink & Switch, 2026.
https://www.inkandswitch.com/keyhive/
• Kegan Dougal. ERA: Epoch-Resolved Arbitration for Duelling Admins in
Group Management CRDTs. PaPoC 2026. doi:10.1145/3806077.3806691
• Martin Kleppmann. Making CRDTs Byzantine Fault Tolerant. PaPoC 2022.
doi:10.1145/3517209.3524042
• Liangrun Da. Design and Verification of Byzantine Fault Tolerant CRDTs.
Master’s Thesis, TU Munich, 2024. https://bit.ly/bft-crdt-isabelle
• Martin Kleppmann and Heidi Howard. Byzantine Eventual Consistency and
the Fundamental Limits of Peer-to-Peer Databases. Preprint, 2020.
https://arxiv.org/abs/2012.00472
• Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, and Mark
McGranaghan. Local-first software: You own your data, in spite of the
cloud. Onward! 2019. doi:10.1145/3359591.3359737