Security News > 2020 > April > 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.

The seL4 Foundation will provide a global, independent and neutral organization for funding and steering the future evolution of seL4.

Founding members of the seL4 Foundation, set up under the umbrella of the Linux Foundation, are CSIRO's Data61, UNSW Sydney, HENSOLDT Cyber GmbH, Ghost Locomotion Inc, Cog Systems Inc, and DornerWorks Ltd. Gernot Heiser and June Andronick serve on the initial governing board together with Gerwin Klein, Chief Principal Research Scientist, CSIRO's Data61, who led the original seL4 verification and leads verification research in the Trustworthy Systems group.

The directors are united in their desire to see seL4 secure the critical systems of the future.

Simon Barry, Acting Director at CSIRO's Data61, "Cyber security is a core focus for Data61, and it's fantastic to see our work further expanding its global relevance and reach. We are proud to lead the creation of the seL4 Foundation to enable safer, more secure and more reliable systems and this is an example of the international impact that Data61's research and development is creating."

News URL

http://feedproxy.google.com/~r/HelpNetSecurity/~3/lTynq32x7zU/