Skip to Main content Skip to Navigation
Conference papers

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 - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01110443
Contributor : Brigitte Briot Connect in order to contact the contributor
Submitted on : Wednesday, January 28, 2015 - 11:11:48 AM
Last modification on : Thursday, March 17, 2022 - 10:08:37 AM

Identifiers

  • 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. ⟨hal-01110443⟩

Share

Metrics

Record views

55