12 citations · 16 across the 6 of their papers we have counts for
6 papers
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…
How to Raise a Robot -- A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots
Niklas Hemken, Florian Jacob, Fabian Peller-Konrad +3
Humanoid robots will be able to assist humans in their daily life, in particular due to their versatile action capabilities. However, while these robots need a certain degree of au…
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…
A Glimpse of the Matrix (Extended Version): Scalability Issues of a New Message-Oriented Data Synchronization Middleware
Florian Jacob, Jan Grashöfer, Hannes Hartenstein
Matrix is a new message-oriented data synchronization middleware, used as a federated platform for near real-time decentralized applications. It features a novel approach for inter…