Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
implementation
tamarin
separation-logic
protocol-verification
symbolic-security
automated-verification
-
Updated
Dec 9, 2022 - Haskell