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-)