Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion

pages

English

Documents

Écrit par
Bruno Blanchet And David Pointcheval

Publié par
pefav

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Documents

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

pefav

Nombre de lectures

Langue

English

Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion The computational and decisional Diffie-Hellman assumptions in CryptoVerif Bruno Blanchet and David Pointcheval CNRS, Ecole Normale Superieure, INRIA, Paris July 2010 Bruno Blanchet and David Pointcheval Diffie-Hellman in CryptoVerif July 2010 1 / 18

basic ddh

diffie-hellman key

decisional diffie-hellman

computational diffie-hellman

extension extended

ddh conclusion

ecole normale

Voir

Publié par

pefav

Nombre de lectures

Langue

English

Blanchet École normale

aBrBisucnDoDlBHaaBiscDCHeNdefroxeetsnoinxEetdnedDCHxEetdnedDHDThecomputationalanddecisionalDiﬃe-HellmanassumptionsinCryptoVerifcnehtadnaDvdioPiBrunoBlanchetandDavidPointchevaltnCNRS,E´coleNormaleSupe´rieure,INRIA,ParishcvelaiDeﬃ-July2010eHllamnnirCpyoteVirfuJyl2100Cnolcu1iso/n81

aBiscDDHaBsMotivationciDCHeNdefroxeetsnoinxEetdnedDCHCryptoVerifisaproverforsecurityprotocolsthatissoundinthecomputationalmodelproducesproofsbysequencesofgamescangiveasymptoticorexactsecurityresultsxEetdnedDprovidesagenericmethodforspecifyingassumptionsoncryptographicprimitivesHDOurgoal:extendCryptoVeriftoDiﬃe-Hellmankeyagreements.rBnuolBanimportantprimitive;diﬃcultforhandleinformalprotocolprovers.nahcteadnaDvdioPnictehavliDeﬃH-lemlnanirCpyoteVirfuJyl2100Cnolcu2iso/n81

Voir