文件下载

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.

请填写表格下载

First name*
Last name*
Job title*
Business email*
Company name*
Phone number*
Company size*
Country (or region)*
Industry*
Enter code
- 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.
Consent
I would like to receive marketing communications from Xcalibyte.