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
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/hal-02180303
Contributor : Alexandre Dang Connect in order to contact the contributor
Submitted on : Thursday, July 11, 2019 - 1:30:31 PM
Last modification on : Wednesday, November 3, 2021 - 8:14:48 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02180303, version 1

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles