#realworldcrypto HACL* (formal verification) in Mozilla @Firefox https://www.youtube.com/watch?v=xrZTVRICpSs … [paper https://twitter.com/daniel_bilar/status/874947664491798529 … ; see git everest Docker bundle miTLS, F*, KreMLin, Vale and HACL https://github.com/project-everest/everest … & miTLS https://github.com/mitls/hacl-star ]pic.twitter.com/F7TZbRh1XF
05:45 - 15. sij 2018.
0 replies
2 proslijeđena tweeta
6 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.