BlanchetPointchevalFCC10

Bruno Blanchet Back to publications
Bruno Blanchet and David Pointcheval. The computational and decisional Diffie-Hellman assumptions in CryptoVerif. In Workshop on Formal and Computational Cryptography (FCC 2010), Edimburgh, United Kingdom, July 2010.

Get the paper

.pdf, 52 Kb

Bibtex


@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
}


E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)