April 2020 – seL4 developers launch open source foundation to enable safer, more secure computer systems

As software becomes ever more complex, it's crucial to ensure systems cannot be compromised by even the smallest of defects. Dr June Andronick talks through the seL4 microkernel, designed to prevent these defects.