For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler! @davidpichardie at #poplpic.twitter.com/kN4JTOxkT9
13:56 - 24. sij 2020.
0 replies
3 proslijeđena tweeta
12 korisnika označava 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.