8/21/14 1:51 PM
On Tuesday 29 July, NICTA and General Dynamics C4 Systems jointly released the secure embedded L4 (seL4) microkernel and formal mathematical proofs as open-source software. seL4 is the world’s most highly-assured operating system (OS) and the first OS kernel with an end-to-end proof of implementation correctness and security enforcement. This work grew out of CSE’s Trustworthy Systems research group. Congratulations to Gernot Heiser and his team.