Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Hannes Hartenstein

Hannes Hartenstein

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Distributed×1Crypto×1

Frequent co-authors

Florian Jacob1×
Johanna Stuber1×

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

Papers

cs.DCcs.CRRecentApr 26, 2026

Towards System-Oriented Formal Verification of Local-First Access Control

Florian Jacob, Johanna Stuber, Hannes Hartenstein

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.

View →