A second look at Shoup's lemma (bibtex)
by Bruno Blanchet
Reference:
A second look at Shoup's lemma (Bruno Blanchet), In Workshop on Formal and Computational Cryptography (FCC 2011), 2011.
Bibtex Entry:
@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,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetFCC11.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetFCC11.pdf}
}
Powered by bibtexbrowser