The seL4 Microkernel: Proved Security For Cyberphysical Systems
2021-09-16 | Webinar Deck | By Gernot Heiser

Our webinar on 16 Sep 2021 was given by Gernot Heiser, seL4 Foundation Chairman & Scientia Professor, UNSW Sydney, and Yuning Liang, CEO & co-founder, Xcalibyte. The topic covered ‘The seL4 Microkernel: Proved Security for Cyberphysical Systems’. This third-generation microkernel has the aim of providing a basis for highly secure and reliable systems, suitable for satisfying security requirements such as those of Common Criteria and beyond.