Online / 6 & 7 February 2021


The seL4 Report

What happened in seL4 land in the past 12 months

I will provide an update on developments in the seL4 ecosystem in the past 12 months. Highlights include the creation of the seL4 Foundation and some of its activities since, and the functional correctness proof of seL4 on the RISC-V architecture. I will also discuss our work on time protection, a principled and systematic approach to prevention of timing channels and on-going work on its formal verification.


Photo of Gernot Heiser Gernot Heiser