FOSDEM event "The seL4 Report"

Gernot Heiser

Type devroom

What happened in seL4 land in the past 12 months

Starts on day 1 (2021-02-06) at 10:10 (Brussels time, UTC+1) in room Microkernel (duration 01:00)

Matrix room #microkernel:fosdem.org

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.

=> FOSDEM schedule page

Proxy Information

Original URL: gemini://gemini.bortzmeyer.org/fosdem/event-11572.gmi
Status Code: Success (20)
Meta: text/gemini; lang=en
Capsule Response Time: 162.347303 milliseconds
Gemini-to-HTML Time: 0.214948 milliseconds

This content has been proxied by September (ba2dc).