rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 2,907

  1. RT @EdgeSecurity: The WireGuard Protocol, based on Noise, is now formally verified in the symbolic model. wireguard.io/formal-verification/ #provable…
    On twitter.com Twitter logo Retweet