GitHub repository: terrorizer1980/wireguard-1
Description: Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol