Je recherche

702 résultats

• • Séminaire

  • Cryptographie

  Cryptographie basée sur les groupes de tresses

  • 01 octobre 2004

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

  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.

• • Séminaire

  • Cryptographie

  Un test de primalité

  • 22 avril 2005

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

  Orateur : Sinnou David - Université Pierre et Marie Curie

  Nous présenterons un survol autour du test de primalité en temps polynomial introduit par Agrawal, Kayal et Saxena et des développements subséquents.

• • Séminaire

  • Cryptographie

  Divisibilité des nombres de classes

  • 26 septembre 2003

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

  Orateur : Yuri Bilu - Université Bordeaux I

  Soient m,n>1 des nombres entiers. Alors pour tout $X$ suffisamment grand, il y a >>X^\mu corps de nombres K de degré n avec m|h(K). Ici \mu = \frac1{2m(n-1)}. Ceci généralise le résultat de R. Murty pour des corps quadratiques (le cas n=2). Un travail commun avec F. Luca.

• • Séminaire

  • Cryptographie

  Moments des polynômes de Rudin-Shapiro (en collaboration avec L. Habsieger)

  • 21 mars 2003

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

  Orateur : Christophe Doche - Université de Bordeaux, projet AREHCC

  Les polynômes de Rudin-Shapiro trés utilisés en théorie du signal sont définis par $P_0(z) = 1$, $Q_0(z)=1$ et $P_{n+1}(z) = P_n(z) + z^{2^n}Q_n(z),$ $Q_{n+1}(z) = Q_n(z) - z^{2^n}Q_n(z)$. En 1968, Littlewood a montré que les moments d'ordre 4 des polynômes $P_n(z)$ i.e. $\mathcal{M}_4(P_n)=\int_0^1 |P_n(e^{2i\pi t})|^4\, dt $ satisfaisaient une récurrence linéaire de degré $2$ et en a déduit que[…]

• • Séminaire

  • Cryptographie

  Polynomes d'Hilbert-Samuel : une introduction élémentaire

  • 12 décembre 2003

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

  Orateur : Claude Quitté - Université de Poitiers

  Après avoir traité un exemple élémentaire (multiplicité d'un point sur une courbe plane ou plus généralement d'une hypersurface), nous fournissons la définition du polynôme et de la série d'Hilbert-Samuel d'un anneau local noethérien. Nous considérerons également le cadre gradué, cadre dans lequel le polynôme d'Hilbert-Samuel (ou la série) permet en particulier le calcul de la dimension (de Krull)[…]

• • Séminaire

  • Cryptographie

  Sécurité informatique, de la vérification formelle de protocoles cryptographiques à la détection d'intrusions en temps réel

  • 30 janvier 2004

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

  Orateur : Jean Goubeault-Larrecq - ENS Cachan

  Le but de cet exposé est de présenter très grossièrement deux aspects de la recherche en sécurité menée au LSV (laboratoire spécification et vérification, ENS Cachan et CNRS UMR 8643) et dans le projet INRIA SECSI.<br/> Un premier aspect est la vérification automatique de protocoles cryptographiques. L'idée est au départ de vérifier qu'un protocole est sûr sous des hypothèses simplificatrices[…]