Gernot Heiser

1. Your Processor Leaks Information - and There's Nothing You Can Do About It
   2016/12/14 by Qian Ge, Yuval Yarom, Ge, Qian +5 · 2 voices
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.CR
2. Can We Prove Time Protection?
   2019/01/24 by Gernot Heiser, Heiser, Gernot, Gerwin Klein +3 · 1 voice
   Computer Science · #Security and Verification in Computing #Cryptographic Implementations and Security #Cloud Data Security Solutions
3. Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
   2025/01/08 by Gernot Heiser, Ivan Velickovic, Heiser, Gernot +27 · 1 voice
   #cs.OS #cs.CR