22 Pages
English

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

-

Gain access to the library to view online
Learn more

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


Subjects

Informations

Published by
Reads 8
Language English
aBrBisucnDoDlBHaaBiscDCHeNdefroxeetsnoinxEetdnedDCHxEetdnedDHDThecomputationalanddecisionalDiffie-HellmanassumptionsinCryptoVerifcnehtadnaDvdioPiBrunoBlanchetandDavidPointchevaltnCNRS,E´coleNormaleSupe´rieure,INRIA,ParishcvelaiDe-July2010eHllamnnirCpyoteVirfuJyl2100Cnolcu1iso/n81
aBiscDDHaBsMotivationciDCHeNdefroxeetsnoinxEetdnedDCHCryptoVerifisaproverforsecurityprotocolsthatissoundinthecomputationalmodelproducesproofsbysequencesofgamescangiveasymptoticorexactsecurityresultsxEetdnedDprovidesagenericmethodforspecifyingassumptionsoncryptographicprimitivesHDOurgoal:extendCryptoVeriftoDiffie-Hellmankeyagreements.rBnuolBanimportantprimitive;difficultforhandleinformalprotocolprovers.nahcteadnaDvdioPnictehavliDeH-lemlnanirCpyoteVirfuJyl2100Cnolcu2iso/n81