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.