Johanna Stuber
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Distributed×1Crypto×1
Frequent co-authors
Research Timeline
2026
Towards System-Oriented Formal Verification of Local-First Access Control
The paper proposes a bottom-up, system-oriented approach to formally verify authorization algorithms for large-scale, Byzantine fault-tolerant local-first systems, using Rust and the Verus framework.
Highlighted terms show continued research focus across papers