Hacker News new | ask | show | jobs
by dadrian 3291 days ago
The Wireguard protocol has been symbolically verified for correctness using Tamarin.
1 comments
nickpsecurity 3291 days ago
Didn't know that. Thanks for the tip!
link