|
@daniel_bilar | |||||
|
#eurosys Time channel mitigation seL4 μkernel on ARM & x86 ts.data61.csiro.au/publications/c… by @yuvalyarom @GernotHeiser Qian Ge ["security-oriented hw-sw contracts", policy-free kernel cloning; can;t close x86 L2 bc prefetcher; ISA #apsys twitter.com/daniel_bilar/s… ; aim verified tp seL4] pic.twitter.com/01XuaJGVln
|
||||||
|
||||||
|
Daniel Bilar
@daniel_bilar
|
16. tra |
|
Git channel Matrix Construction and Analysis Tools
ts.data61.csiro.au/software/TS/ch…
See also #syscan 2013 Bochswn TOCTOU #weirdmachine mo twitter.com/daniel_bilar/s… pic.twitter.com/R4Y4rCmu8B
|
||
|
|
||
|
Daniel Bilar
@daniel_bilar
|
17. tra |
|
|
||
|
|
||