Formal verification of the WireGuard protocol

(wireguard.com)

165 points | by zx2c4 215 days ago

17 comments