Twitter | Pretraživanje | |
Daniel Bilar
Time channel mitigation seL4 μkernel on ARM & x86 by Qian Ge ["security-oriented hw-sw contracts", policy-free kernel cloning; can;t close x86 L2 bc prefetcher; ISA ; aim verified tp seL4]
Reply Retweet Označi sa "sviđa mi se" More