Je recherche

734 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

  Sur les couplages de Weil et de Tate

  • 15 février 2002

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

  Orateur : Bas Edixhoven - IRMAR

• • Séminaire

  • Cryptographie

  Cryptographie à clef publique et théorie des groupes

  • 25 octobre 2002

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

  Orateur : Dimitry Grigoryev - IRMAR

  Un cryptoschéma reposant sur des invariants de représentation des groupes est proposé. En outre, on construit un cryptoschéma homomorphe qui en particulier, permet de simuler n'importe quel calcul (ou bien un circuit booléen) de façon secrète.

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

  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

  Sur la Conjecture de Patterson-Wiedeman

  • 24 janvier 2003

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

  Orateur : Philippe Langevin - Université de Toulon

  La distance d'une fonction booléenne f de m variables au code de Reed-Muller est une mesure la non-linearité de f. Il s'agit d'une notion importante en cryptographie. L'analyse de Fourier est une méthode d'approche normale de cette question. En particulier, la non-linéarité de f est égale à [ 2^m - R(f) ] /2, où R(f) est l'amplitude spectrale de f i.e. le module maximal de ses coefficients de[…]