Formal verification of the WireGuard protocol

(wireguard.com)

164 points | by zx2c4 11 days ago

17 comments