Compiling Sandboxes: Formally Verified Software Fault Isolation
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Pierre WILKE : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02316189
Soumis le : mardi 15 octobre 2019-10:32:35
Dernière modification le : jeudi 7 novembre 2024-13:14:02
Archivage à long terme le : vendredi 17 janvier 2020-10:37:49