From Computationally-proved Protocol Specifications to Implementations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

From Computationally-proved Protocol Specifications to Implementations

David Cadé
  • Fonction : Auteur
Programming securely with cryptography
Bruno Blanchet
Programming securely with cryptography

Résumé

no abstract

Domaines

Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
CadeBlanchetARES12.pdf (146.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Ben Smyth  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 18 septembre 2013-17:37:40

Dernière modification le : vendredi 21 janvier 2022-03:19:26

Archivage à long terme le : vendredi 20 décembre 2013-15:02:05

Télécharger pour visualiser

Dates et versions

hal-00863382 , version 1 (18-09-2013)

Identifiants

  • HAL Id : hal-00863382 , version 1

Citer

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. pp.65--74. ⟨hal-00863382⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
69 Consultations
190 Téléchargements

Partager

Gmail Facebook X LinkedIn More