Skip to Main content Skip to Navigation
Conference papers

Information-Flow Preservation in Compiler Optimisations

Frédéric Besson 1 Alexandre Dang 1 Thomas Jensen 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Keywords : Information- Flow Preservation Side-Channel Secure compilation
Document type :
Conference papers
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download
https://hal.inria.fr/hal-02180303
Contributor : Alexandre Dang <>
Submitted on : Thursday, July 11, 2019 - 1:30:31 PM
Last modification on : Friday, January 8, 2021 - 3:39:57 AM

File

Vignette du document
paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02180303, version 1

Collections

UNIV-RENNES1 | CNRS | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES

Citation

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 DC DCterms EndNote

Share

Metrics

Record views

338

Files downloads

1131

 

Contact                    Legal Notice                    Personal Data