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 de l'École normale supérieure, 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 <>
Submitted on : Wednesday, January 28, 2015 - 11:11:48 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

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

110