seL4 in Australia: From Research to Real-World Trustworthy Systems.

The article discusses the development and function of the computer software seL4 microkernal in Australia, and describes computer security and computer architecture, the evolution of the kernal, and the establishment of an sel4 Foundation.

Bibliographic Details
Published in:	Communications of the ACM Vol. 63; no. 4; pp. 72 - 76
Main Authors:	HEISER, GERNOT, KLEIN, GERWIN, ANDRONICK, JUNE
Format:	Article
Published:	Association for Computing Machinery Apr2020
Subjects:	Computer operating systems Computer software Australia
Online Access:	View this record in EBSCOhost

Internet

View this record in EBSCOhost