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

Bruno Blanchet And David Pointcheval

Description

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

Sujets

• Blanchet
• École normale

Informations

• Publié par: pefav
• Nombre de lectures: 8
• Langue: English

Extrait

aB rB is u c n D o D lB H a aBiscDCHeNdefroxeetsnoinxEetdnedDCHxEetdnedDHD ThecomputationalanddecisionalDiffie-Hellman assumptionsinCryptoVerif cnehtadnaDvdioPi BrunoBlanchetandDavidPointcheval tn CNRS,E ´ coleNormaleSupe´rieure,INRIA,Paris hcvelaiDeffi- July2010 eHllamnnirCpyoteVirfuJyl2100 Cnolcu 1 iso / n 81

aBiscDDHaBs Motivation ciDCHeNdefroxeetsnoinxEetdnedDCH CryptoVerifisaproverforsecurityprotocolsthat issoundinthecomputationalmodel producesproofsbysequencesofgames cangiveasymptoticorexactsecurityresults xEetdnedD providesagenericmethodforspecifyingassumptionson cryptographicprimitives HD Ourgoal:extendCryptoVeriftoDiffie-Hellmankeyagreements. rBnuolB animportantprimitive; difficultforhandleinformalprotocolprovers. nahcteadnaDvdioPnictehavliDeffiH-lemlnanirCpyoteVirfuJyl2100 Cnolcu 2 iso / n 81