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 : Tuesday, November 12, 2019 - 4:09:19 PM

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

51

Files downloads

198