There are 0 repository under automated-verification topic.
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"