7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois

Share this publication

You may also like

next
IntroductionAssmutpoisnnOhSuopemslThmaroepToofoCodulcnnoisonurBENS,NR(CetchanBlVotpfireirpA102lINS,A)RIEiEKrynC01/20
´ CNRS, Ecole Normale Superieure, INRIA, Paris ´
Bruno Blanchet blanchet@di.ens.fr Joint work with David Pointcheval
April 2010
Automatic, computational proof of EKE using CryptoVerif (Work in progress)
ortnIAnoitcudmeamplsorfohTpeptiossumShounsOnisulnoodoTcnoCBetchNR(CnoruanBl02/2l2010
Motivation
EKE (Encrypted Key Exchange): A password-based key exchange protocol. A non-trivial protocol. It took some time before getting a computational proof of this protocol. Our goal: Mechanize, and automate as far as possible, its proof using the automatic computational protocol verifierCryptoVerif. This is an opportunity forseveral interesting extensionsof CryptoVerif. This work is still in progress.
VotpyrCnirpAfireINS,ENS,EiEKA)RI