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 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

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

Record views

338

Files downloads

1131