Compiling Sandboxes: Formally Verified Software Fault Isolation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation

Fichier principal
Vignette du fichier
esop_papier.pdf (669.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02316189 , version 1 (15-10-2019)

Identifiants

Citer

Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas Jensen, Pierre Wilke. Compiling Sandboxes: Formally Verified Software Fault Isolation. ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩. ⟨hal-02316189⟩
133 Consultations
162 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More