Hacker News new | ask | show | jobs
by nickpsecurity 3282 days ago
I agree with you. It needs formal evaluation by pros with time to dig into it with review and tool-assisted analysis. That said, a person as experienced at pentesting as tptacek saying the crypto and code looked good puts its trustworthiness above most options in my eyes. I mean, you rarely here good things about both in such software. The quality of average development in crypto is just that bad. I also liked what I saw when I looked at it in terms of simplicity.
1 comments

The Wireguard protocol has been symbolically verified for correctness using Tamarin.
Didn't know that. Thanks for the tip!