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