Formal verification of the WireGuard protocol

(wireguard.com)

165 points | by zx2c4 64 days ago

17 comments