Information-Flow Preservation in Compiler Optimisations - Archive ouverte HAL Access content directly
Conference Papers Year :

Information-Flow Preservation in Compiler Optimisations

(1) , (1) , (1)
1
Frédéric Besson
Software certification with semantic analysis
CV
Alexandre Dang
  • Function : Author
  • PersonId : 1037917
Software certification with semantic analysis
Thomas Jensen
  • Function : Author
  • PersonId : 874110
Software certification with semantic analysis

Domains

Computer Science [cs] Programming Languages [cs.PL] Computer Science [cs] Cryptography and Security [cs.CR]
Fichier principal
Vignette du fichier
paper.pdf (687.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Alexandre Dang  : Connect in order to contact the contributor

https://hal.inria.fr/hal-02180303

Submitted on : Thursday, July 11, 2019-1:30:31 PM

Last modification on : Saturday, August 6, 2022-3:32:50 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-02180303 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES ANR UR1-MATH-NUM
108 View
383 Download

Share

Gmail Facebook Twitter LinkedIn More