Inria – A Mechanised Cryptographic Proof of the WireGuard VPN Protocol

Article URL: https://hal.inria.fr/hal-02100345

Comments URL: https://news.ycombinator.com/item?id=19896760

Points: 6

# Comments: 0

from Hacker News: Front Page http://bit.ly/2WEqxVD
via