Skip to Main content Skip to Navigation
Conference papers

Formal methods for software security (invited talk)

Thomas Jensen 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
https://hal.inria.fr/hal-01658549
Contributor : Thomas Jensen <>
Submitted on : Thursday, December 7, 2017 - 4:49:02 PM
Last modification on : Thursday, January 7, 2021 - 4:31:54 PM

File

Vignette du document
ForumMF310117-Jensen.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01658549, version 1

Collections

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

Citation

Thomas Jensen. Formal methods for software security (invited talk). FMF 2017 - Forum "Méthodes Formelles", Jan 2017, Toulouse, France. pp.1-61. ⟨hal-01658549⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

1255

Files downloads

252

 

Contact                    Legal Notice                    Personal Data