Je recherche

665 résultats

• • Séminaire

  • Cryptographie

  Introduction aux preuves interactives et au zero-knowledge

  • 21 juin 2002

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

  Orateur : François Arnault - Université de Limoge

  Les preuves intéractives définissent une classe de problèmes assez large englobant en particulier NP et co-NP. Elles ont un intérêt pratique dans le cadre de l'identification cryptographique, en particulier lorsqu'elles sont accompagnées de la propriété zero-knowledge.<br/> Cet exposé est une introduction, suivant un plan traditionnel. Il sera illustré par quelques exemples pris à la théorie des[…]

• • Séminaire

  • Cryptographie

  Extensions of Kedlaya's algorithm

  • 18 octobre 2002

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

  Orateur : Frederik Vercauteren - Bristol University

  Kedlaya described an algorithm for computing the zeta function of a hyperelliptic curve in characteristic p > 2 using the theory of Monsky-Washnitzer cohomology. Joint work with Jan Denef has resulted in 2 extensions of Kedlaya's original algorithm: the first extension can be used to compute the zeta function of a hyperelliptic curve in characteristic 2 and the second leads to a rather general[…]

• • Séminaire

  • Cryptographie

  Correspondances modulaires, relèvement canonique et applications

  • 20 décembre 2002

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

  Orateur : Jean-Marc Couveignes - Univeristé Toulouse II

• • 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

  Comptage des points rationnels d'une courbe elliptique sur un corps fini

  • 11 janvier 2002

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

  Orateur : René Schoof - Universita Roma 2

  L'exposé portera sur la méthode trouvée il y a une quinzaine années par le conférencier pour calculer le nombre de points rationnels d'une courbe elliptique sur un corps fini. Il évoquera aussi les développements postérieurs (Atkin, Elkies, Satoh, Kedlaya, Mestre,...).

• • Séminaire

  • Cryptographie

  Application du couplage de Weil et Tate en cryptographie

  • 15 février 2002

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

  Orateur : Antoine Joux - SGDN

  Dans cet exposé, nous etudierons les applications du couplage de Weil et du couplage de Tate comme primitive cryptographique. Ces applications sont d'origine assez récentes, la première construction connue datant de 2000. Depuis, cette voie de recherche a conduit à la naissance de plusieurs applications aux fonctionnalités nouvelles, difficiles à construire en utilisant des primitives plus[…]