12 citations · 16 across the 6 of their papers we have counts for
4 papers · 1 filter
Towards System-Oriented Formal Verification of Local-First Access Control
Florian Jacob, Johanna Stuber, Hannes Hartenstein
Conflict-free replicated data types (CRDTs) and the local-first concept are increasingly employed not only in small-scale collaboration systems among few users who trust each other…
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)
Florian Jacob, Hannes Hartenstein
We uncover the extend-only directed posets (EDP) structure as a unification of recently discussed DAG-based Byzantine-tolerant conflict-free replicated data types (CRDT). We also s…
On Conflict-Free Replicated Data Types and Equivocation in Byzantine Setups
Florian Jacob, Saskia Bayreuther, Hannes Hartenstein
We explore the property of equivocation tolerance for Conflict-Free Replicated Data Types (CRDTs). We show that a subclass of CRDTs is equivocation-tolerant and can thereby cope wi…
Analysis of the Matrix Event Graph Replicated Data Type
Florian Jacob, Carolin Beer, Norbert Henze +1
Matrix is a new kind of decentralized, topic-based publish-subscribe middleware for communication and data storage that is getting popular particularly as a basis for secure instan…