#wireguard

4 pages search “wireguard” ↳ all tags

Wiki 3

  • 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
  • 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×

Toolbox 1

  • AmneziaWG Architect Browser-based generator for AmneziaWG obfuscation parameters across 9 protocol mimicry profiles