3 ms·

The Wireguard protocol has been symbolically verified for correctness using Tamarin.

• nickpsecurity 9y ago
  Didn't know that. Thanks for the tip!