From Computationally-proved Protocol Specifications to Implementations

David Cadé 1 Bruno Blanchet 1
1 PROSECCO - Programming securely with cryptography
Inria Paris-Rocquencourt
Résumé : no abstract
Type de document :
Communication dans un congrès
7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. IEEE, pp.65--74, 2012
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00863382
Contributeur : Ben Smyth <>
Soumis le : mercredi 18 septembre 2013 - 17:37:40
Dernière modification le : mardi 17 avril 2018 - 11:25:46
Document(s) archivé(s) le : vendredi 20 décembre 2013 - 15:02:05

Fichier

CadeBlanchetARES12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00863382, version 1

Collections

INRIA

Citation

David Cadé, Bruno Blanchet. From Computationally-proved Protocol Specifications to Implementations. 7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. IEEE, pp.65--74, 2012. 〈hal-00863382〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

161

Contact


archive-ouverte@inria.fr