Skip to Main content Skip to Navigation
New interface
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
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-01658835
Contributor : Thomas Jensen Connect in order to contact the contributor
Submitted on : Thursday, December 7, 2017 - 7:00:06 PM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM

File

GDR-Securite-010617.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01658835, version 1

Citation

Thomas Jensen. Formal methods for software security (invited talk). Journées Nationales 2017 Pré-GDR Sécurité Informatique, Jun 2017, Paris, France. pp.1-31. ⟨hal-01658835⟩

Share

Metrics

Record views

313

Files downloads

48