Documents

The seL4 Microkernel: Proved Security For Cyberphysical Systems

16 Sep 2021 | 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.

Fill the form below to download

    • By submitting this form, you agree to have a sales person contact you regarding our services
    • By submitting this form, you hereby agree to the terms and conditions in the Xcalibyte Privacy Policy and to the processing of your personal data as described therein.

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy