Research & papers
Study the ideas.
The papers, mathematical foundations and experiments behind Auris's research program.
Public paper · R2 revision 1.16
Open PDFPre-use root secrecy
A conditional argument for a frozen v5 handshake candidate, with a public paper and reproducibility bundle. The result ends before the root key is used and does not prove the released app.
Read the paper and its scope →Papers and proof results
Models and open questions
Models and recovery
How model checking explores recovery, concurrency and failed sessions.
Authentication and witnesses
Signed evidence, deniability questions and authentication tradeoffs.
Measurement and uncertainty
Methods for assessing call quality, recovery and experimental evidence.
Private continuity
Research into private access, continuity and their communication costs.
Foundations and sources
Reading the research
Reviewed · Review scope and versions