With our talk “Eventually Consistent Access Control: Practical Insights on Matrix from Decentralized Systems Theory”, we were at the @matrix.org conference 2025 in Strasbourg: media.ccc.de/v/matrix-con... [m]@🇫🇷🥳 The talk covers scientific foundations as well as 6 years of our own research on Matrix.

Our paper “To the Best of Knowledge and Belief: On Eventually Consistent Access Control” is now available as CC-BY: dl.acm.org/doi/10.1145/... At the example of
@matrix.org, we showed traditional conceptualizations of access control as insufficient, and present eventual consistency as alternative.

It took almost two years…! The Fugue paper that @mweidner.bsky.social and I wrote about interleaving in collaborative text editing algorithms was finally accepted by IEEE Transactions on Parallel and Distributed Systems

paywalled: ieeexplore.ieee.org/document/111...
free: arxiv.org/abs/2305.00583

New Automerge website at automerge.org. Kudos to @spiralganglion.com and @seaofclouds.com for their work building it. The level of craft and detail in the landing page is very satisfying.

Our paper “Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation” dl.acm.org/doi/10.1145/... is the first to combine CRDTs with non-interactive cryptographic proofs. They match very well, performance is good for non-critical tasks. Implementation: github.com/kit-dsn/proo...

Our newest paper, “ReP2P Matrix: Decentralized Relays to Improve Reliability and Performance of Peer-to-Peer Matrix”, is now available under CC-BY: dl.acm.org/doi/abs/10.1... Code and data based on the existing peer-to-peer @matrix.org prototypes available as well: gitlab.kit.edu/kit/tm/telem...

My research group hosts this year's ROBUST 2025 workshop on Byzantine fault tolerance and state-machine replication, and seeks your participation and contributions! We look for 25min presentations, including preliminary results and open question. See you on March 17/18! gi-robust.github.io/robust25/

I was guest in the new German episode of the #Matrix Salon Podcast, talking about my research on the (de)centralization of the Matrix server network and my journey to @matrix.org 😊

Episode: open.spotify.com/episode/34th...
RSS feed: anchor.fm/s/cdb34188/p...

Here is an excellent and modern introduction to CRDTs. dl.acm.org/doi/10.1145/...

The #MatrixConf has left Berlin 🇩🇪, for now. I love to scroll through the photos in the Matrix guest book everyone created together at the closing, the conference had such a nice vibe. 📸 See you all again in France, October 2025! 🇫🇷👋

The first ever #MatrixConf is going great, so many people, ranging from researchers to practitioners, companies to government organizations. 😄 First time I heard from the Matrix efforts of the Swiss post for a nationwide communication system, especially for B2C cfp.matrix.org/matrixconf20... 🇨🇭

🎉 I'm super excited to share the first post giving a high level overview of the local-first access control project that we're working on at Ink & Switch! 🐝✨ www.inkandswitch.com/beehive/note...

The latest Ink & Switch Dispatch features some projects dear to my heart: collaboration for research papers, and local-first access control for end-to-end encryption www.inkandswitch.com/newsletter/d...

Our newest paper, “Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types”, is now available under CC-BY: dl.acm.org/doi/10.1145/... We formalize @matrix.org and other autonomous decentralized systems based on hash chronicles to verify monotonicity and Byzantine fault tolerance