SoundVerification/wireguard

Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol

语言：Haskell · GitHub 星标：5 · Fork：2

话题：automated-verification · implementation · protocol-verification · separation-logic · symbolic-security · tamarin

在 GitHub 上查看原仓库