Formal methods for software security (invited talk) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Formal methods for software security (invited talk)

Thomas Jensen
  • Fonction : Auteur
  • PersonId : 874110
Software certification with semantic analysis

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL] Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
GDR-Securite-010617.pdf (563.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Thomas Jensen  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 7 décembre 2017-19:00:06

Dernière modification le : lundi 24 juillet 2023-11:06:33

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-01658835 , version 1

Citer

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⟩

Exporter

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
317 Consultations
56 Téléchargements

Partager

Gmail Facebook X LinkedIn More