Formal methods for software security (invited talk) - Inria - Institut national de recherche en sciences et technologies du numérique
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 : mercredi 6 novembre 2024-11:12:05

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
322 Consultations
74 Téléchargements

Partager

More