Soundness of Symbolic Equivalence for Modular Exponentiation

Yassine Lakhnech 1 Laurent Mazare 1 Bogdan Warinschi 2
1 VERIMAG - IMAG - VERIMAG
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we study the Dynamic Decisional Diffie-Hellman (3DH) problem, a powerful generalization of the Decisional Diffie-Hellman (DDH) problem. Our main result is that DDH implies 3DH. This result leads to significantly simpler proofs for protocols by relying directly on the more general problem. Our second contribution is a computationally sound symbolic technique for reasoning about protocols that use symmetric encryption and modular exponentiation. We show how to apply our results in the case of the Burmester & Desmedt protocol.
Keywords : Diffie-Hellman assumptions soundness of formal encryption provable security
Type de document :
Communication dans un congrès
Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography - FCC 2006, Jul 2006, Venice/Italy, 2006
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00080673
Contributeur : Véronique Cortier <>
Soumis le : mardi 20 juin 2006 - 15:03:19
Dernière modification le : jeudi 15 février 2018 - 08:48:09
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:06:34

Fichier

paper4.pdf

Identifiants

  • HAL Id : inria-00080673, version 1

Collections

INRIA | FCC2006 | IMAG | UNIV-FCOMTE | UGA | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE

Citation

Yassine Lakhnech, Laurent Mazare, Bogdan Warinschi. Soundness of Symbolic Equivalence for Modular Exponentiation. Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography - FCC 2006, Jul 2006, Venice/Italy, 2006. 〈inria-00080673〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

237

Téléchargements de fichiers

143

Contact


archive-ouverte@inria.fr