Filtrer par type de contenu

Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.

Supprimer tous les filtres

658 résultats

    • Séminaire

    • Cryptographie

    Calculer efficacement des couplages

    • 21 septembre 2007

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Oumar Diao - IRMAR

    Dans cet exposé, nous ferons une présentation de certains aspects des calculs de couplages sur les jacobiennes de courbes algébriques utiles en cryptographie.<br/> Après un rappel sur les définitions mathématiques, nous présenterons l'algorithme de Miller qui permet de calculer efficacement les couplages de Weil et Tate. Puis, nous décrirons quelques améliorations algorithmiques apportées par F.[…]

    • Séminaire

    • Cryptographie

    Generation of Prime Numbers on Portable Devices

    • 10 novembre 2006

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Marc Joye - Thomson R&D France

    The generation of prime numbers underlies the use of most public-key cryptosystems, essentially as a primitive needed for the creation of RSA key pairs. Surprisingly enough, despite decades of intense mathematical studies on primality testing and an observed progressive intensification of cryptography, prime number generation algorithms remain scarcely investigated and most real-life[…]

    • Séminaire

    • Cryptographie

    Vérification formelle de compilateurs

    • 30 mars 2007

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Xavier Leroy - INRIA Rocquencourt

    Tous les programmeurs s'attendent à ce que les compilateurs et autres outils de génération de code produisent du code exécutable qui se comporte exactement comme prescrit par le programme source. Ce n'est malheureusement pas toujours le cas : des bugs dans le compilateur peuvent conduire à la production de code machine incorrect à partir d'un source correct. Ce cas de figure est particulièrement[…]

    • Séminaire

    • Cryptographie

    Relative rigid cohomology and the deformation method for elliptic curves

    • 18 novembre 2005

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Ralf Gerkmann - Universitat Mainz

    By a well-known result of Dwork the zeta functions of the fibers in a one-parameter family of hypersurfaces can be described in terms of p-adic holomorphic functions. This result was used by A. Lauder in order to formulate a deter- ministic algorithm that computes the zeta function of a hypersurface in polynomial time. In this talk we describe a similiar method for elliptic curves which is based[…]

    • Séminaire

    • Cryptographie

    Constructing group based provably secure encryption schemes: a

    • 28 avril 2006

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Maria Isabel Gonzalez Vasco - Universidad Rey Juan Carlos Madrid

    Cryptographic primitives arising from group theory have in the last few years attracted a lot of attention. Unfortunately, up to date most of the existing proposals are still far away from practical applications, not only due to unlucky computational assumptions which later turned out to be invalid. In this talk we address the impact of modern security analysis in the sense of provable security to[…]

    • Séminaire

    • Cryptographie

    Symbolic verification of Diffie-Hellman-based group key exchange

    • 13 janvier 2006

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Yassine Lakhnech - VERIMAG

    We discuss the cryptographic soundness of a symbolic model for Diffie-Hellman based key exchange protocols including symmetric encryption. Our main tool is a new dynamic variation of the decisional Diffie-Hellman problem useful for group protocols.
Haut de page