20 citations · 31 across the 3 of their papers we have counts for
5 papers
Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak +2
Covert channels enable information leakage across security boundaries of the operating system. Microarchitectural covert channels exploit changes in execution timing resulting from…
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…
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…
Benchmarking Crimes: An Emerging Threat in Systems Security
Erik van der Kouwe, Dennis Andriesse, Herbert Bos +2
Properly benchmarking a system is a difficult and intricate task. Unfortunately, even a seemingly innocuous benchmarking mistake can compromise the guarantees provided by a given s…
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…