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

  1. RT @tqbf: WireGuard now formally verified with Tamarin equational theorem prover. wireguard.com/formal-verification/ Pay attention to WireGuard, it’s…
    On twitter.com Twitter logo Retweet