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
A grouping.
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'.
13 references
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