#popl CompCert compiler that preserves cryptographic constant time (ie prog should not branch nor mem access should not depend on secrets) [Coq, 14%+ size (6k specs, 7.5k lines of proof), no switch; see #apsys aISA & #eurosys seL4 https://twitter.com/daniel_bilar/status/1118295909773840386 … ] https://eprint.iacr.org/2019/926.pdf pic.twitter.com/B9R89T64jg
06:30 - 7. stu 2019.
0 replies
3 proslijeđena tweeta
9 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.