627 résultats
-
Utilisation des modules de Drinfeld en cryptographie
Orateur : Xavier-François Roblot - Université Lyon I
Les modules de Drinfeld peuvent être vus comme des analogues en caractéristique positive des courbes elliptiques sur l'anneau des entiers Z et, par réduction, sur un corps fini. Dans cet exposé, je parlerai des analogues pour les modules de Drinfeld des algorithmes de cryptage classiques ainsi que d'une nouvelle méthode de cryptage spécifique aux modules de Drinfeld. Je parlerai aussi des attaques[…] -
On the Subexponentiality of the Elliptic Curve Discrete Logarithm Problem over Extension Fields
Orateur : Clauss Diem - Universität Essen
The purpose of the talk is to present the following heuristic result.<br/> Let a, b in R with 0 < a < b. Then discrete logarithms in E(F_q^n), where q is a prime power, a log_2(q) \leq n \leq b \log_2(q)$ and E/F_q^n is any elliptic curve over F_q^n, can be solved in probabilistic subexponential time L[3/4].<br/> The algorithm is a variant of a recent index calculus algorithm by Gaudry. The main[…] -
Quand les preuves de sécurité cryptographiques rencontrent la théorie des nombres
Orateur : Jacques Stern - ENS
Dans cet exposé, on présentera la méthodologie des preuves de sécurité dans la conception et l'analyse des algorithmes cryptographiques. On donnera ensuite deux exemples où ces preuves font appel à des résultats de théorie des nombres: le premier relatif au schéma de chiffrement OAEP, dont la preuve de sécurité complète a été achevée dans un travail avec E. Fujisaki, T. Okamoto et D.Pointcheval;[…] -
Cryptographie basée sur les groupes de tresses
Orateur : Patrick Dehornoy - Université de Caen
Au cours des années récentes, la définition de plusieurs protocoles cryptographiques reposant sur l'utilisation des groupes de tresses a suscite un enthousiasme soudain, puis une désaffection presque aussi rapide lorsqu'il a été réalisé que la difficulté du problème de base n'est pas démontrée. On essaiera de faire le point sur ces questions de façon plus nuancée. -
Generic Homomorphic Undeniable Signatures
Orateur : Serge Vaudenay - EPFL
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diffie-Hellman, and RSA. As an application, we propose a generic undeniable signature scheme which generalizes the MOVA schemes. Our scheme is generic in the sense that we transform a private group homomorphism from public[…] -
Liens entre méthodes formelles et cryptographie pour la sécurité des protocoles cryptographiques
Orateur : Mathieu Baudet - ENS Cachan
Les méthodes formelles (ou encore logiques) sont désormais capables d'analyser automatiquement la plupart des protocoles cryptographiques. Néanmoins les modèles d'attaquant utilisés reposent tous --sauf rares exceptions-- sur le modèle Needham-Schroeder, qui énumère un nombre fini d'actions possibles pour l'intrus. Les modèles cryptographiques au contraire reposent sur un modèle d'attaquant très[…]