seL4 in Australia: from research to real-world trustworthy systems
seL4 in Australia: from research to real-world trustworthy systems
About this item
Full title
Author / Creator
Publisher
New York: Association for Computing Machinery
Journal title
Language
English
Publication information
Publisher
New York: Association for Computing Machinery
Subjects
More information
Scope and Contents
Contents
Heiser et al discuss seL4 in Australia which is an operating system that consists of a kernel, the software that runs in the privileged mode of the hardware, and system services that are programs running in the underprivileged hardware mode (user mode). In 2017, the functional correctness proof of the seL4 microkernel marked the first time a comple...
Alternative Titles
Full title
seL4 in Australia: from research to real-world trustworthy systems
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2427316989
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2427316989
Other Identifiers
ISSN
0001-0782
E-ISSN
1557-7317
DOI
10.1145/3378426
