Gernot Heiser
13 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Gernot Heiser
Gernot Heiser: seL4 from the systems side - the verified kernel and its deployment - and the objection proof cannot answer: timing channels, in a survey and 'Time Protection'.
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
Time Protection: The Missing OS Abstraction
Qian Ge and others (2019) · Proceedings of the Fourteenth EuroSys Conference · Association for Computing Machinery
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge and others (2018) · Journal of Cryptographic Engineering · Springer
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
Bernard Blackham and others (2014) · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · Institute of Electrical and Electronics Engineers
Comprehensive formal verification of an OS microkernel
Gerwin Klein and others (2014) · ACM Transactions on Computer Systems · Association for Computing Machinery
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Kevin Elphinstone and others (2013) · ACM
Timing Analysis of a Protected Operating System Kernel
Bernard Blackham and others (2011) · IEEE
The OKL4 microvisor: convergence point of microkernels and hypervisors
Gernot Heiser and others (2010) · ApSys 2010: Proceedings of the first ACM SIGCOMM Asia-Pacific Workshop on Systems
seL4: Formal Verification of an Operating-System Kernel
Gerwin Klein and others (2010) · Association for Computing Machinery (ACM)
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Towards a practical, verified kernel
Kevin Elphinstone and others (2007) · Proceedings of the 11th Workshop on Hot Topics in Operating Systems
OS verification — now!
Harvey Tuch and others (2005) · Proceedings of the 10th Workshop on Hot Topics in Operating Systems