20 citations · 31 across the 3 of their papers we have counts for
Showing cs.OSShow all
3 papers · 1 filter
cs.OS2019
Can We Prove Time Protection?
Gernot Heiser, Gerwin Klein, Toby Murray
Timing channels are a significant and growing security threat in computer systems, with no established solution. We have recently argued that the OS must provide time protection, i…
cs.OS2018
Time Protection: the Missing OS Abstraction
Qian Ge, Yuval Yarom, Tom Chothia +1
Timing channels enable data leakage that threatens the security of computer systems, from cloud platforms to smartphones and browsers executing untrusted third-party code. Preventi…
cs.OS2016
It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity
Anna Lyons, Gernot Heiser
Mixed-criticality systems combine real-time components of different levels of criticality, i.e. severity of failure, on the same processor, in order to obtain good resource utilisa…