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

    Complexité et arithmétique des réseaux

    • 21 décembre 2001

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

    Orateur : Jean-Marc Couveignes - Université de Toulouse

    L'exposé comportera deux parties Dans la premiere, on présentera quelques notions fondamentales de théorie de la complexité, illustrés par des exemples très simples. La deuxième partie sera consacrée à la recherche de vecteurs courts dans les réseaux. On presentera des résultats récents, dus a Adleman, Ajtai, Lenstra et d'autres, qui permettent d'évaluer la difficulté de ce problème.<br/> La[…]
    • Séminaire

    • Cryptographie

    Comptage et construction de corps de nombres

    • 08 mars 2002

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

    Orateur : Henri Cohen - Université Bordeaux I

    Cet exposé constitue un survol de méthodes récentes permettant de construire des tables de corps de nombres ainsi qu'une énumération asymptotique des corps de nombres ordonnés par leur discriminant. Les méthodes traditionnelles pour effectuer cela reposent sur la géométrie des nombres, pour l'essentiel sur un théorème dû à Hunter, complété par un résultat de Martinet pour traiter les extensions[…]
    • Séminaire

    • Cryptographie

    Algorithmes pour la théorie de Galois des corps de nombres et leur mise en oeuvre dans PARI/GP

    • 11 octobre 2002

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

    Orateur : Bill Allombert - INRIA

    On présentera les techniques algorithmiques générales mises en oeuvre pour l'étude algorithmique des extensions Galoisiennes du corps des rationnels.<br/> Les problèmes étudiés concernent le calcul des automorphismes galoisiens, le calcul du groupe abstrait sous-jacent, le calcul des sous-corps par correspondance de Galois et le calcul de la factorisation intermediaire du polynôme définissant le[…]
    • Séminaire

    • Cryptographie

    Quelques moments de l'histoire de la cryptographie

    • 14 décembre 2001

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

    Orateur : Jean-Pierre Escofier - IRMAR

    Retracer en détail toute l'histoire de la cryptographie de Jules César à aujourd'hui est impossible en une séance. On abordera quelques moments de cette histoire et de ses protagonistes : Jules César, Alberti, Viète, Poe, Bazeries, Painvin, etc., en terminant par la naissance de la cryptographie à clef publique : Diffie, Hellman, etc.<br/> Bibliographie principale :<br/> David Kahn : La guerre des[…]
    • Séminaire

    • Cryptographie

    Serre-Tate theory and converging AGM-sequences

    • 13 décembre 2002

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

    Orateur : Robert Carls - University of Leiden

    Let A be an abelian variety over a finite field. Liftable endomorphisms of A act on the deformation space. In the ordinary case there's a canonical way of lifting Frobenius. We will show, that the action of Frobenius has a unique fixpoint, the canonical lift. A proof will be given in terms of Barsotti-Tate groups using the Serre-Tate theorem. Drinfeld's proof of this theorem will be sketched (see […]
    • Séminaire

    • Cryptographie

    Le problème du logarithme discret et ses applications en cryptographie

    • 25 janvier 2002

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

    Orateur : David Lubicz - CELAR

    L'objectif de cet exposé est de présenter les problématiques cryptographiques qui ont motivé quelques unes des idées présentées dans les précédentes séances. Nous definissons donc les problèmes du logarithme discret et de Diffie-Hellman en nous attachant à mettre en évidence les conditions générales dans lesquelles ces problèmes sont de complexité suffisante pour pouvoir servir dans des primitives[…]