BlanchetFCC11
Bruno Blanchet
Back to publications
Bruno Blanchet.
A second look at Shoup's lemma.
In Workshop on Formal and Computational Cryptography (FCC
2011), Paris, France, June 2011.
Get the paper
.pdf, 73 Kb
Bibtex
@INPROCEEDINGS{BlanchetFCC11,
AUTHOR = {Bruno Blanchet},
TITLE = {A second look at {S}houp's lemma},
BOOKTITLE = {Workshop on Formal and Computational Cryptography (FCC 2011)},
YEAR = 2011,
ADDRESS = {Paris, France},
MONTH = JUN
}
E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)