Compiling Sandboxes: Formally Verified Software Fault Isolation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation

Fichier principal
Vignette du fichier
esop_papier.pdf (669.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
135 View
172 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More