4 ms·
Out of curiosity did the Wireguard formal verification effort end up identifying any security issues in the implementation?
by ShredKazoo 4y ago
Out of curiosity did the Wireguard formal verification effort end up identifying any security issues in the implementation?