Skip to Main content Skip to Navigation
Conference papers

Compiling Sandboxes: Formally Verified Software Fault Isolation

Frédéric Besson 1 Sandrine Blazy 1 Alexandre Dang 1 Thomas Jensen 1 Pierre Wilke 2
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.inria.fr/hal-02316189
Contributor : Pierre Wilke <>
Submitted on : Tuesday, October 15, 2019 - 10:32:35 AM
Last modification on : Wednesday, April 8, 2020 - 3:45:17 PM
Document(s) archivé(s) le : Friday, January 17, 2020 - 10:37:49 AM

File

esop_papier.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

191

Files downloads

348