rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 5,217

  1. RT @durumcrustulum: A Mechanised Cryptographic Proof of the WireGuard VPN Protocol (papers, models, and code): prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/WireGuard/
    On twitter.com Twitter logo Retweet