2 papers
cs.DC2026
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…
cs.DC2025
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…