Formal methods for software security (invited talk) - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2017

Formal methods for software security (invited talk)

Thomas Jensen
  • Function : Author
  • PersonId : 874110
Software certification with semantic analysis

Domains

Logic in Computer Science [cs.LO] Programming Languages [cs.PL] Cryptography and Security [cs.CR]
Fichier principal
Vignette du fichier
GDR-Securite-010617.pdf (563.64 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Thomas Jensen  : Connect in order to contact the contributor

https://inria.hal.science/hal-01658835

Submitted on : Thursday, December 7, 2017-7:00:06 PM

Last modification on : Wednesday, November 6, 2024-11:12:05 AM

Download

Dates and versions

hal-01658835 , version 1 (07-12-2017)

Identifiers

  • HAL Id : hal-01658835 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
321 View
74 Download

Share

More