#IPSec
A set of research notes and deep dives focused on correctness, security, and operational evidence.
Best starting points
Quantum Tunneler: A Quantum-Safe IPSec Stack in Rust
An in-depth technical deep-dive into Quantum Tunneler—an end-to-end, Rust-based implementation of a post-quantum IPSec stack leveraging Kyber and Falcon.
Roadmap
- Start with assumptions and invariants
- Enumerate failure modes and attack surfaces
- Define what to monitor and how to roll back