A Mechanised Cryptographic Proof of the WireGuard VPN Protocol (papers, models, and code): https://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/WireGuard/ …
07:06 - 20. tra 2019.
0 replies
17 proslijeđenih tweetova
23 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
crypto as in 'cryptography'