A second look at {S}houp's lemma

Bruno Blanchet 1
1 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Type de document :
Communication dans un congrès
FCC 2011 - Seventh Workshop on Formal and Computational Cryptography, Jun 2011, Paris, France. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-01110443
Contributeur : Brigitte Briot <>
Soumis le : mercredi 28 janvier 2015 - 11:11:48
Dernière modification le : jeudi 11 janvier 2018 - 01:49:23

Identifiants

  • HAL Id : hal-01110443, version 1

Collections

Citation

Bruno Blanchet. A second look at {S}houp's lemma. FCC 2011 - Seventh Workshop on Formal and Computational Cryptography, Jun 2011, Paris, France. 2011. 〈hal-01110443〉

Partager

Métriques

Consultations de la notice

55