Skip to main content
Blog

seL4 operating system protects critical systems on RISC-V architecture from cyber-attacks

News release contact Sophia Aiano, Sling & Stone 0475 302 080 sophia@slingstone.com About seL4 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 and is responsible for ensuring overall security, safety and reliability. seL4’s growing list of deployments range from defence systems to autonomous air and ground vehicles, safeguarding them from cyber threats. About CSIRO’s Data61 CSIRO’s Data61 is the data and digital specialist arm of Australia’s national science agency. We are solving Australia’s greatest data-driven challenges through innovative science and technology. We partner with government, industry and academia, through the D61+ Network, to conduct mission-driven research for the economic, societal and environmental benefit of the country. Our research expertise includes artificial intelligence and machine learning, robotics, cybersecurity, privacy preserving technologies, blockchain and analytics.]]>