End-to-end message encryption
aura-protected-protocol-rs
- Source
- src/ · Rust
- Formal models
- formal/tamarin/aura_handshake.spthy
- ·
- formal/tamarin/aura_ratchet.spthy
- ·
- formal/proverif/aura.pv
- Game-based proofs
- docs/security-proof.tex
- Benchmarks
- benches/protocol_bench.rs
- Fuzzing
- fuzz/fuzz_targets/ · 32 targets
- Tests
- tests/ · 10 suites
