By Scientia Professor Gernot Heiser

Preprints

Wistoff N; Schneider M; Gürkaynak FK; Benini L; Heiser G, 2020, Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core, http://dx.doi.org/10.48550/arxiv.2005.02193

Heiser G; Klein G; Murray T, 2019, Can We Prove Time Protection?, http://arxiv.org/abs/1901.08338v1

Ge Q; Yarom Y; Chothia T; Heiser G, 2018, Time Protection: the Missing OS Abstraction, http://arxiv.org/abs/1810.05345v2

van der Kouwe E; Andriesse D; Bos H; Giuffrida C; Heiser G, 2018, Benchmarking Crimes: An Emerging Threat in Systems Security, http://dx.doi.org/10.48550/arxiv.1801.02381

Ge Q; Yarom Y; Li F; Heiser G, 2016, Your Processor Leaks Information - and There's Nothing You Can Do About It, http://arxiv.org/abs/1612.04474v6

Elphinstone K; Zarrabi A; Danis A; Shen Y; Heiser G, 2016, An Evaluation of Coarse-Grained Locking for Multicore Microkernels, https://pdfs.semanticscholar.org/762a/284bd8b6ace609285f72f22dc1e03b004f33.pdf

Lyons A; Heiser G, 2016, It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity, http://arxiv.org/abs/1606.00111v2

Back to profile page