• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Sur la conception d'un service de changement ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Communication dans un congrès avec actes
Title :
Sur la conception d'un service de changement de contexte et de sa preuve dans le proto-noyau Pip
Author(s) :
Vanhems, Florian [Auteur]
Extra Small Extra Safe [2XS]
Jomaa, Narjes [Auteur]
Extra Small Extra Safe [2XS]
Hym, Samuel [Auteur] refId
Extra Small Extra Safe [2XS]
Nowak, David [Auteur] refId
Extra Small Extra Safe [2XS]
Conference title :
ENTROPY 2019
City :
Stockholm
Country :
Suède
Start date of the conference :
2019-06-19
Journal title :
ENabling TRust through Os Proofs... and beYond - 2nd Internatonal Workshop, ENTROPY 2019, Stockholm, Sweden, June 16, 2019
Publication date :
2019-06-16
HAL domain(s) :
Informatique [cs]/Systèmes et contrôle [cs.SY]
Informatique [cs]/Système d'exploitation [cs.OS]
Informatique [cs]/Logique en informatique [cs.LO]
English abstract : [en]
The Pip protokernel is a kernel whose trusted computing base is reduced to its bare bones. The goal of such minimisation is twofold: reduce the attack surface and reduce the cost of the formal proof of security. In particular, ...
Show more >
The Pip protokernel is a kernel whose trusted computing base is reduced to its bare bones. The goal of such minimisation is twofold: reduce the attack surface and reduce the cost of the formal proof of security. In particular, multiplexing is not implemented in the kernel but in a partition whose code is executed in user mode. This of course assumes that the kernel provides minimal services dedicated to signal sending. In this paper, we describe a streamlined service designed to allow for inter-partition communication through userland structures that mimic the traditional Interrupt Descriptor Table.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-02347481/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-02347481/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-02347481/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017