Gernot Heiser

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 48

Top Venues

CoRR

APSys

ACM SIGOPS Oper. Syst. Rev.

RTAS

ETH Zurich, Switzerland (PHD)

Education History

ETH Zurich, Switzerland

PHD

Publications

Arnd Weber, Sylvain Guilley, René Rathfelder, Marc Stöttinger, Christoph Lüth, Maja Malenko, Torsten Grawunder, Steffen Reith, Armand Puccetti, Jean-Pierre Seifert, Norbert Herfurth, Hagen Sankowski, Gernot Heiser
Verified Value Chains, Innovation and Competition. CSR (2023)
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini
Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning. IEEE Trans. Computers 72 (5) (2023)
Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff, Margaret Martonosi
AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware. MICRO (2023)
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM (2023)
Mathieu Paturel, Isitha Subasinghe, Gernot Heiser
First steps in verifying the seL4 Core Platform. APSys (2023)
Gernot Heiser, Ivan Velickovic
Tutorial: Using the seL4 Microkernel. DSN-S (2023)
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
Proving the Absence of Microarchitectural Timing Channels. CoRR (2023)
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini
Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning. CoRR (2022)
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
Property-Based Testing: Climbing the Stairway to Verification. SLE (2022)
Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie
Can We Put the "S" Into IoT? WF-IoT (2022)
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core. DATE (2021)
Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida
Benchmarking Flaws Undermine Security Research. IEEE Secur. Priv. 18 (3) (2020)
Gernot Heiser, Toby Murray, Gerwin Klein
Towards Provable Timing-Channel Prevention. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Gernot Heiser, Gerwin Klein, June Andronick
seL4 in Australia: from research to real-world trustworthy systems. Commun. ACM 63 (4) (2020)
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core. CoRR (2020)
Gernot Heiser, Gerwin Klein, Toby C. Murray
Can We Prove Time Protection? HotOS (2019)
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
Time Protection: The Missing OS Abstraction. EuroSys (2019)
Gernot Heiser, Gerwin Klein, Toby C. Murray
Can We Prove Time Protection? CoRR (2019)
Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida
SoK: Benchmarking Flaws in Systems Security. EuroS&P (2019)
Yanyan Shen, Gernot Heiser, Kevin Elphinstone
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs. DSN (2019)
Simon Biggs, Damon Lee, Gernot Heiser
The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security. APSys (2018)
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser
Formally verified software in the real world. Commun. ACM 61 (10) (2018)
Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
Time Protection: the Missing OS Abstraction. CoRR (2018)
Erik van der Kouwe, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Gernot Heiser
Benchmarking Crimes: An Emerging Threat in Systems Security. CoRR (2018)
Qian Ge, Yuval Yarom, David Cock, Gernot Heiser
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware. J. Cryptogr. Eng. 8 (1) (2018)
Gernot Heiser
For Safety's Sake: We Need a New Hardware-Software Contract! IEEE Des. Test 35 (2) (2018)
Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. EuroSys (2018)
Qian Ge, Yuval Yarom, Gernot Heiser
No Security Without Time Protection: We Need a New Hardware-Software Contract. APSys (2018)
Xiaobo Sharon Hu, Rolf Ernst, Petru Eles, Gernot Heiser, Kurt Keutzer, Daehyun Kim, Tetsuya Tohdo
Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact? IEEE Des. Test 35 (6) (2018)
Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. APSys (2017)
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser
The Cogent Case for Property-Based Testing. PLOS@SOSP (2017)
Thomas Sewell, Felix Kam, Gernot Heiser
High-assurance timing analysis for a high-assurance real-time operating system. Real Time Syst. 53 (5) (2017)
Gernot Heiser
Technical Perspective: Proving file systems meet expectations. Commun. ACM 60 (4) (2017)
Qian Ge, Yuval Yarom, Gernot Heiser
Do Hardware Cache Flushing Operations Actually Meet Our Expectations? CoRR (2016)
Gernot Heiser, Kevin Elphinstone
L4 Microkernels: The Lessons from 20 Years of Research and Deployment. ACM Trans. Comput. Syst. 34 (1) (2016)
Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser
An Evaluation of Coarse-Grained Locking for Multicore Microkernels. CoRR (2016)
Thomas Sewell, Felix Kam, Gernot Heiser
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. RTAS (2016)
Gernot Heiser, Kenji Kono, KyoungSoo Park, Robbert van Renesse
Report on the Asia-Pacific Systems Workshop 2015 (APSys'15). ACM SIGOPS Oper. Syst. Rev. 50 (1) (2016)
Paolo Montuschi, Edward J. McCluskey, Samarjit Chakraborty, Jason Cong, Ramón M. Rodríguez-Dagnino, Fred Douglis, Lieven Eeckhout, Gernot Heiser, Sushil Jajodia, Ruby B. Lee, Dinesh Manocha, Tomás F. Pena, Isabelle Puaut, Hanan Samet, Donatella Sciuto
State of the Journal. IEEE Trans. Computers 65 (7) (2016)
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Anna Lyons, Gernot Heiser
It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity. CoRR (2016)
Qian Ge, Yuval Yarom, David Cock, Gernot Heiser
A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware. IACR Cryptol. ePrint Arch. 2016 (2016)
Fangfei Liu, Qian Ge, Yuval Yarom, Frank McKeen, Carlos V. Rozas, Gernot Heiser, Ruby B. Lee
CATalyst: Defeating last-level cache side channel attacks in cloud computing. HPCA (2016)
Yuval Yarom, Qian Ge, Fangfei Liu, Ruby B. Lee, Gernot Heiser
Mapping the Intel Last-Level Cache. IACR Cryptol. ePrint Arch. 2015 (2015)
Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser
For a Microkernel, a Big Lock Is Fine. APSys (2015)
Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser, Ruby B. Lee
Last-Level Cache Side-Channel Attacks are Practical. IEEE Symposium on Security and Privacy (2015)
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32 (1) (2014)
David Cock, Qian Ge, Toby C. Murray, Gernot Heiser
The Last Mile: An Empirical Study of Timing Channels on seL4. CCS (2014)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Aaron Carroll, Gernot Heiser
Unifying DVFS and offlining in mobile multicores. RTAS (2014)
Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom
A Scalable Lock Manager for Multicores. ACM Trans. Database Syst. 39 (4) (2014)
Bernard Blackham, Mark H. Liffiton, Gernot Heiser
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. RTAS (2014)
Aaron Carroll, Gernot Heiser
Mobile multicores: use them or waste them. ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Kevin Elphinstone, Gernot Heiser
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? SOSP (2013)
Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom
A scalable lock manager for multicores. SIGMOD Conference (2013)
Aleksander Budzynowski, Gernot Heiser
The von Neumann Architecture Is Due for Retirement. HotOS (2013)
Bernard Blackham, Gernot Heiser
Sequoll: A framework for model checking binaries. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Aaron Carroll, Gernot Heiser
The systems hacker's guide to the galaxy energy usage in a modern smartphone. APSys (2013)
Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso
RapiLog: reducing system complexity through verification. EuroSys (2013)
Yao Shi, Bernard Blackham, Gernot Heiser
Code optimizations using formally verified properties. OOPSLA (2013)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! PLOS@SOSP (2013)
Aaron Carroll, Gernot Heiser
Mobile multicores: use them or waste them. HotPower@SOSP (2013)
Bernard Blackham, Yao Shi, Gernot Heiser
Improving interrupt response time in a verifiable protected microkernel. EuroSys (2012)
Gernot Heiser, Toby C. Murray, Gerwin Klein
It's Time for Trustworthy Systems. IEEE Secur. Priv. 10 (2) (2012)
Bernard Blackham, Vernon Tang, Gernot Heiser
To preempt or not to preempt, that is the question. APSys (2012)
Bernard Blackham, Gernot Heiser
Correct, fast, maintainable: choose any three! APSys (2012)
Stefan M. Petters, Kevin Elphinstone, Gernot Heiser
Trustworthy Real-Time Systems. Advances in Real-Time Systems (2012)
Gernot Heiser
Low-overhead virtualization of mobile platforms. CASES (2011)
Gernot Heiser
Virtualizing embedded systems: why bother? DAC (2011)
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser
Timing Analysis of a Protected Operating System Kernel. RTSS (2011)
Bernard Blackham, Yao Shi, Gernot Heiser
Protected hard real-time: the next frontier. APSys (2011)
Etienne Le Sueur, Gernot Heiser
Slow Down or Sleep, That Is the Question. USENIX Annual Technical Conference (2011)
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski
What If You Could Actually Trust Your Kernel? HotOS (2011)
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
Architecture optimisation with currawong. Comput. Commun. Rev. 41 (1) (2011)
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu
Static analysis of device drivers: we can do better! APSys (2011)
Prashant Varanasi, Gernot Heiser
Hardware-supported virtualization on ARM. APSys (2011)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved device driver reliability through hardware verification reuse. ASPLOS (2011)
Gernot Heiser, Ben Leslie
The OKL4 microvisor: convergence point of microkernels and hypervisors. ApSys (2010)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved Device Driver Reliability Through Verification Reuse. HotDep (2010)
Aaron Carroll, Gernot Heiser
An Analysis of Power Consumption in a Smartphone. USENIX Annual Technical Conference (2010)
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk
The road to trustworthy systems. STC@CCS (2010)
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
Architecture optimisation with Currawong. ApSys (2010)
Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser
The case for active device drivers. ApSys (2010)
Gernot Heiser
Hypervisors for Consumer Electronics. CCNC (2009)
David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser
Koala: a platform for OS-level power management. EuroSys (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser
Automatic device driver synthesis with termite. SOSP (2009)
Matthew Chapman, Gernot Heiser
vNUMA: A Virtual Shared-Memory Multiprocessor. USENIX Annual Technical Conference (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser
Dingo: taming device drivers. EuroSys (2009)
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an OS kernel. SOSP (2009)
Gernot Heiser
The role of virtualization in embedded systems. IIES@EuroSys (2008)
Gernot Heiser
Operating System Verification for Real Use. VERIFY (2008)
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser
Pre-virtualization: Soft layering for virtual machines. ACSAC (2008)
Gernot Heiser
Your System Is Secure? Prove It! login Usenix Mag. 32 (6) (2007)
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser
Hype and Virtue. HotOS (2007)
Leonid Ryzhyk, Ihor Kuz, Gernot Heiser
Formalising device driver interfaces. PLOS@SOSP (2007)
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
Towards a Practical, Verified Kernel. HotOS (2007)
Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. USENIX Annual Technical Conference (2007)

Gernot Heiser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gernot Heiser