A Mechanised Cryptographic Proof of the WireGuard VPN Protocolhal.inria.fr200 pointscolinprince7 years ago