文件下载

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.

请填写表格下载

    • 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.

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策