1 citations · 1 across the 2 of their papers we have counts for
3 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…
Not eXactly Byzantine: Efficient and Resilient TEE-Based State Machine Replication
Marc Leinweber, Hannes Hartenstein
We propose, implement, and evaluate NxBFT, a resilient and efficient State Machine Replication protocol using Trusted Execution Environments (TEEs). NxBFT focuses on a "Not eXactly…
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…