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…