3 ms·

https://www.wireguard.com/formal-verification/ https://www.wireguard.com/formal-verification/ You are welcome.

• midislack 4y ago
  • tptacek 4y ago
    It's one of the most carefully reviewed pieces of cryptographic software on the Internet. You could just use Google, or, if you like, Google Scholar, to verify that for yourself. Please don't write troll comments on HN.