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
ForumMF310117-Jensen.pdf (532.9 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-01658549

Soumis le : jeudi 7 décembre 2017-16:49:02

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

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-01658549 , version 1

Citer

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

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
212 Consultations
93 Téléchargements

Partager

Gmail Facebook X LinkedIn More