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
Type de document :
Communication dans un congrès
Journées Nationales 2017 Pré-GDR Sécurité Informatique, Jun 2017, Paris, France. pp.1-31
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01658835
Contributeur : Thomas Jensen <>
Soumis le : jeudi 7 décembre 2017 - 19:00:06
Dernière modification le : mercredi 16 mai 2018 - 11:24:14

Fichier

GDR-Securite-010617.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

710

Téléchargements de fichiers

28