Наскрізне шифрування повідомлень
aura-protected-protocol-rs
- Джерело
- src/ · Rust
- Формальні моделі
- 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/ · 10 suites
