IBOS (Illinois Browser Operating System)

Système d'exploitation et navigateur combinés sur micronoyau L4Ka::Pistachio, avec un WebKit adapté, pour réduire la base de confiance du navigateur (OSDI 2010).

Fiche

Éditeur

Université de l'Illinois (Shuo Tang, Haohui Mai, Samuel T. King)

Site

—

Moteur

WebKit

Plateformes

Autre

Détails

IBOS sur x86-64

Popularité

8/100 — Prototype de recherche

Sources

1. https://www.usenix.org/conference/osdi10/trust-and-protection-illinois-browser-operating-system
2. https://bob.cs.ucdavis.edu/assets/dl/ibos.pdf