Information-Flow Preservation in Compiler Optimisations - 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

Information-Flow Preservation in Compiler Optimisations

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

Dates et versions

hal-02180303 , version 1 (11-07-2019)

Identifiants

  • HAL Id : hal-02180303 , version 1

Citer

Frédéric Besson, Alexandre Dang, Thomas Jensen. Information-Flow Preservation in Compiler Optimisations. CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.1-13. ⟨hal-02180303⟩
153 Consultations
444 Téléchargements

Partager

Gmail Facebook X LinkedIn More