#post-quantum

4 pages search “post-quantum” ↳ all tags

Wiki 4

  • A Tale of Two Worlds — Hybrid-WireGuard Lafourcade et al. (USENIX Security 2025) formally analyze PQ-WireGuard, fix it, and propose a hybrid variant with formal proofs in SAPIC+ (ProVerif/Tamarin/DeepSec) and a Rust implementation
  • PQ-WireGuard Post-quantum variants of the WireGuard VPN protocol — the original Hülsing 2021 design and two 2025–2026 papers that revisit it
  • Reinforcing KEM (RKEM) A KEM whose long-term public key security can be reinforced by an ephemeral public key, without paying full security cost on the ephemeral side
  • Revisiting PQ-WireGuard with Reinforcing KEMs Hashimoto, Katsumata, Niot, Wiggers (AIST/PQShield) redesign PQ-WireGuard around a new RKEM primitive (Rebar), shrinking server PK memory 190–390×