The computational and decisional Diffie-Hellman assumptions in CryptoVerif (bibtex)
by Bruno Blanchet, David Pointcheval
Reference:
The computational and decisional Diffie-Hellman assumptions in CryptoVerif (Bruno Blanchet, David Pointcheval), In Workshop on Formal and Computational Cryptography (FCC 2010), 2010.
Bibtex Entry:
@InProceedings{BlanchetPointchevalFCC10,
  author = 	 {Bruno Blanchet and David Pointcheval},
  title = 	 {The computational and decisional {D}iffie-{H}ellman assumptions in {C}rypto{V}erif},
  booktitle = {Workshop on Formal and Computational Cryptography (FCC 2010)},
  year = 	 2010,
  address = 	 {Edimburgh, United Kingdom},
  month = 	 jul,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPointchevalFCC10.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPointchevalFCC10.pdf}
}
Powered by bibtexbrowser