We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

The seL4 Report

5
 Cite
 Share
 Related Material
 Download
 Purchase
Logo of FOSDEM VZWFOSDEM VZW
 Heiser, Gernot

Formal Metadata

Title
The seL4 Report
Subtitle
An Update From seL4 Land
Alternative Title
The seL4 Report: What happened in seL4 land in the past 12 months
Title of Series
Number of Parts
637
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
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.