By Scientia Professor Gernot Heiser

Preprints

Zhao J; Tanaka M; Pohjola JÅ; Legnani A; Ung TT; Truong H; Sau TW; Sewell T; Sison R; Syeda H; Myreen M; Norrish M; Heiser G, 2025, Verifying Device Drivers with Pancake, http://arxiv.org/abs/2501.08249v2

Heiser G; Velickovic I; Chubb P; Joshy A; Ganesh A; Nguyen B; Li C; Darville C; Zhu G; Archer J; Zhou J; Winter K; Parker L; Duchniewicz S; Bai T, 2025, Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance, http://arxiv.org/abs/2501.06234v2

Wistoff N; Heiser G; Benini L, 2024, fence.t.s: Closing Timing Channels in High-Performance Out-of-Order Cores through ISA-Supported Temporal Partitioning, http://dx.doi.org/10.48550/arxiv.2409.07576

Buckley S; Sison R; Wistoff N; Millar C; Murray T; Klein G; Heiser G, 2023, Proving the Absence of Microarchitectural Timing Channels, http://arxiv.org/abs/2310.17046v1

Wistoff N; Schneider M; Gürkaynak FK; Heiser G; Benini L, 2022, Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning, http://dx.doi.org/10.48550/arxiv.2202.12029

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://dx.doi.org/10.48550/arxiv.1901.08338

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

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://dx.doi.org/10.48550/arxiv.1612.04474

Elphinstone K; Zarrabi A; Danis A; Shen Y; Heiser G, 2016, An Evaluation of Coarse-Grained Locking for Multicore Microkernels, http://dx.doi.org/10.48550/arxiv.1609.08372

Back to profile page