A second look at {S}houp's lemma - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011
No file

Dates and versions

hal-01110443 , version 1 (28-01-2015)


  • HAL Id : hal-01110443 , version 1


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⟩
58 View
0 Download


Gmail Facebook X LinkedIn More