seL4 creates open source foundation to enable more secure computing systems

CSIRO‘s Data61, the digital specialist arm of Australia’s national science agency, announced the creation of the seL4 Foundation, a not-for-profit organization, to accelerate the development of the seL4 microkernel and related technologies. An Australian innovation, seL4 is the world’s first operating system (OS) kernel that is mathematically proved secure, and is the world’s fastest and most advanced OS microkernel. The kernel is the piece of software that runs at the core of any computer system … More

The post seL4 creates open source foundation to enable more secure computing systems appeared first on Help Net Security.