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

The seL4 Report

5
 Zitieren
 Teilen
 Zugehöriges Material
 Herunterladen
 Bestellen
Logo von FOSDEM VZWFOSDEM VZW
 Heiser, Gernot

Formale Metadaten

Titel
The seL4 Report
Untertitel
An Update From seL4 Land
Alternativer Titel
The seL4 Report: What happened in seL4 land in the past 12 months
Serientitel
Anzahl der Teile
637
Autor
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
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.