Conference Papers
Year : 2011
Brigitte Briot : Connect in order to contact the contributor
https://inria.hal.science/hal-01110443
Submitted on : Wednesday, January 28, 2015-11:11:48 AM
Last modification on : Friday, March 24, 2023-2:53:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01110443 , version 1
Cite
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