jeudi 24 mai
Amphi Herbrand, à 11h
Emmanuel Hallouin
(IMT, Univ. Toulouse 2)
Obstructions globales à la descente pour les variétés

Webpage: http://www.math.univ-toulouse.fr/~hallouin/

Résumé : Dans ce travail, en collaboration avec Jean-Marc Couveignes, nous nous intéressons aux corps des modules et de définition de certaines variétés. Plus précisément, on souhaite trouver des exemples de variétés qui ne sont pas définies sur leur corps des modules. Partant du fait que de telles obstructions à la descente existent dans la catégorie des revêtements de courbes, nous produisons d'autres exemples dans certaines catégories de surfaces puis dans la catégorie des courbes lisses. On présentera plusieurs constructions permettant de passer d'une catégorie à une autre.

jeudi 24 mai
Amphi Herbrand, à 14h30
Sudhir Ghorpade
(IIT Bombay, India)
Affine Grassmann Codes and their Automorphisms

Webpage: http://www.math.iitb.ac.in/~srg/

jeudi 19 avril
Amphi Herbrand, à 11h
Ruud Pellikaan
(Eindhoven University of Technology, the Netherlands)
On coded-based public key crypto systems
that use algebraic geometry codes

Webpage: http://www.win.tue.nl/~ruudp/

Abstract: In the lecture coded-based public key crypto systems on several classes of codes are discussed. Let X be an algebraic curve over the finite field GF(q), let P be an n-tuple of GF(q)-rational points on X and let E be a divisor on X. Then C_L(X,P,E) is the algebraic geometry code that is obtained by evaluating the rational functions of the Riemann-Roch space L(E) at the points of P. The question is addressed of retrieving the triple (X,P,E) from the algebraic geometry code C_L(X,P,E). Let m=deg(E) and let g be the genus of X. Then the linear series of E gives an embedding Y of X in the projective space of dimension m-g in case m>2g. If moreover m>2g+1, then I(Y), the vanishing ideal of Y is equal to the ideal generated by I_2(Y ), the homogeneous elements of degree two in I(Y ). If n>2m, then I_2(Y)=I_2(Q), where Q is the image of P under the map from X to Y. These results imply that certain algebraic geometry codes are not secure if they are used in the McEliece public-key cryptosystem.

jeudi 19 avril
Salle des séminaires, à 14h30
Marc Perret
(Laboratoire Émile Picard, Toulouse)
Quelques remarques sur les tours récursives
à la Garcia-Stichtenoth

Webpage: http://w3.grimm.univ-tlse2.fr/algo/perret/

Résumé : Il s'agit d'un travail en progrès, effectué en collaboration avec Emmanuel Hallouin. Nous allons prouver quelques propriétés générales sur les tours récursives. L'objet central est un certain graphe (assez proche d'un graphe déjà défini par Beleen) orienté et infini, construit à partir des données de base de la tour récursive.
Nous en déduisons par exemple que, sous une hypothèse très souvent vérifiée sur les exemples, au plus un seul beta_i (tel que défini par Tsfasman et Vladut) peut être non-nul dans la tour. La preuve utilise de façon cruciale de la théorie de l'intersection, la structure des valeurs propres de la matrice d'adjacence du graphe et un lemme diophantien bien connu dû à Kronecker.

jeudi 12 avril
Tammam Alasha
(IML, Marseille)
Deterministic hashing
into different forms of elliptic curves

http://iml.univ-mrs.fr/ati/listeati.html

jeudi 29 mars
Robin Guilbot
(IMT, Toulouse)
Un critère d'existence de points rationnels pour un diviseur d'une variété torique sur les corps C1

Webpage: http://www.math.univ-toulouse.fr/1-17731-Fiche-professionnelle.php?idFiche=548

Résumé : Les variétés toriques peuvent être considérées comme les variétés algébriques abstraites les plus simples car les plus ressemblantes à l'espace projectif P^n. En particulier elles sont naturellement munies d'un anneau de coordonnées homogènes (comme l'a montré David Cox en 1995), et graduées par un groupe abélien de type fini.
Les corps C1 (définis par Serge Lang en 1952) sont les corps sur lesquels toute hypersurface de P^n possède un point rationnel dès que son degré est inférieur ou égal à n. Il est naturel de se demander comment cette notion de petit degré peut s'étendre de l'espace projectif P^n a toute variété torique compacte.
Je traiterai le cas d'une variété torique n'ayant que des singularités sympathiques (variétés Q-factorielles) et expliquerai comment ces questions arithmétiques m'ont amené a construire des outils au contenu géométrique non trivial (notamment à un contrexemple à une conjecture de Cox sur les variétés toriques non projectives).

jeudi 22 mars
Salle des séminaires, à 14h30
Johan P. Hansen
(Aarhus University, Denmark)
Quantum Stabilizer codes from toric varieties

Webpage: http://home.imf.au.dk/matjph/

jeudi 22 mars
Amphi, à 11h
Luca de Feo
(PRISM, Versailles)
Encore un cryptosytème à base d'isogénies

Webpage: http://www.prism.uvsq.fr/~dfl/

Résumé : Il est bien connu que les graphes de courbes elliptiques isogènes ont une structure de graphe de Ramanujan, ce qui garantit des bonnes propriétés de mixage pour les marches aléatoires. Cette observation a été utilisée à plusieurs reprises pour construire des cryptosystèmes
basés sur la difficulté supposée de calculer explicitement une isogénie entre deux courbes elliptiques données. Rostovstev et Sotlbunov on proposé un protocole à la Diffie Hellman où les clefs secrètes sont des chemins d'isogénies de petit degré et la clef partagée est formée en composant la deux chemins secrets. La raison pour laquelle ce protocole marche est que le groupe des classes agit fidèlement et transitivement sur le graphe des courbes elliptiques isogènes. Le protocole de Rostovstev et Stolbunov est peu efficace et présente un intérêt purement théorique; les auteurs ont suggéré qu'il pourrait être utilisée dans un contexte post-quantique, cependant Childs, Jao et Soukharev ont montré qu'il existe un algorithme quantique qui calcule une isogénie entre courbes elliptiques ordinaires en temps sous-exponentiel.
L'attaque de Childs et al. repose justement sur l'action du groupe de classes, qui est commutatif. Dans ce travail, en commun avec Jao et Plût, nous proposons un cryptosystème basé sur la difficulté de calculer une isogénie entre courbes elliptiques supersingulières. Dans le cas supersingulier, l'anneau d'endomorphismes n'est pas commutatif et le groupe des classes n'est plus bien défini, par conséquent l'attaque de Childs et al. ne s'applique plus. En l'absence de l'action du groupe des classes, notre protocole d'échange de clef doit passer de l'information en plus par rapport à celui de Rostovstev et Stolbunov, il n'est cependant pas clair que cette information puisse aider à attaquer le protocole.
Notre protocole, déjà dans une implantation naïve en Magma, est sensiblement plus performant que celui de Rostovstev et Stolbunov. Nous avons étudié en détail le problème de son optimisation: avec un mélange de techinques classiques et nouvelles, nous présentons maintenant une implantation mixte en Sage/Cython/C qui a des performances comparables à celles de nombreux protocoles à base de couplages. En particulier, nous présentons un algorithme efficace pour le calcul d'isogénies de degré composé, ayant une structure combinatoire intéressante et parfois même étonnante.

jeudi 15 mars
Élodie Leducq
(IMJ, Paris)
Fonctions puissances parfaitement non linéaires
sur une infinité d'extensions de Fp

Webpage: http://www.math.jussieu.fr/~elodieleducq/

Résumé :

jeudi 8 mars
Christophe Petit
(Université catholique de Louvain)
On polynomial systems arising from a Weil descent

Webpage: http://perso.uclouvain.be/christophe.petit/index.html

Résumé : Polynomial systems of equations appearing in cryptography tend to have special structures that simplify their resolution. In this talk, we discuss a class of polynomial systems arising after deploying a multivariate polynomial equation over an extension field into a system of polynomial equations over the ground prime field (a technique commonly called Weil descent).
We provide theoretical and experimental evidence that the degrees of regularity of these systems are very low, in fact only slightly larger than the maximal degrees of the equations.
We then discuss cryptographic applications of (particular instances of) these systems to the hidden field equation (HFE) cryptosystem, to the factorization problem in SL(2,2^n) and to the elliptic curve discrete logarithm over binary fields. In particular, we show (under a classical heuristic assumption in algebraic cryptanalysis) that an elliptic curve index calculus algorithm due to Claus Diem has subexponential time complexity O(2^{c\,n^{2/3}\log n})\) over the binary field GF(2^n), where c is a constant smaller than 7/3.

jeudi 23 février
Laurent Poinsot
(LIPN, Paris 13)
Fonctions non booléennes presque parfaitement
non linéaires sur des groupes non abéliens

Webpage: http://lipn.fr/~poinsot/

Résumé : L'objectif de cet exposé est de présenter des définitions et caractérisations des notions classiques de fonctions booléenes APN et maximalement non linéaires adaptées au cas d'applications d'un groupe fini K dans un autre N avec la possibilité que l'un ou l'autre voire les deux groupes soient non abéliens.

jeudi 16 février
Jeroen Sijsling
(IRMAR, Rennes)
Modèles canoniques de courbes de Shimura
de signature (1;e)

Webpage: http://sites.google.com/site/sijsling/

jeudi 9 février
Valéry Mahé
(LMB, Besançon)
Suites à divisibilité algébriques

Webpage: http://lmb.univ-fcomte.fr/rubrique.php3?id_rubrique=159

jeudi 2 février
Mireille Car
(LATP, Marseille)
De nouveaux paramètres pour le problème de Waring sur F_{q}[T].

jeudi 26 janvier
Mila Tukumuli
(IML, Marseille)
Algorithmes d'interpolation de type Chudnovsky-Chudnovsky pour les courbes elliptiques

Résumé : On propose une construction effective d'algorithmes d'interpolation sur les courbes elliptiques définies sur F2 et F3 en utilisant des places de degrés > 1, avec une complexité bilinéaire minimale.

jeudi 12 janvier
Antonella Perucca
(K.U. Leuven)
Caractérisations radicielles de courbes elliptiques

Webpage: https://perswww.kuleuven.be/~u0073281/

jeudi 5 janvier
Jean-François Biasse
(LIX, Palaiseau et Univ. Calgary)
Calcul du groupe de classes d'idéaux
et du groupe des unités d'un corps de nombres

Webpage: http://www.lix.polytechnique.fr/~biasse/

Résumé : Le calcul du groupe de classes d'idéaux ainsi que du groupe des unités d'un corps de nombres est une tâche majeure en théorie algorithmique des nombres. Cela permet notamment la résolution d'équation diophantiennes telles que les équations de Pell ou encore les équations de Thue. Au début des années 90, Buchmann a généralisé l'algorithm de Hafner et McCurley pour montrer que la complexité de ce problème était sous-exponentielle bornée par L(1/2,O(1)) dans les classes de corps de nombres de degré fixé.
Dans cette présentation, nous nous intéresserons aux derniers résultats, pratiques comme théoriques, sur le calcul du groupe de classes d'idéaux et du groupe des unités d'un corps de nombres. Nous nous pencherons en particulier sur les améliorations à l'algorithme du crible quadratique pour les corps de degré 2. Nous montrerons aussi comment généraliser cet algorithme aux corps de degré supérieur, puis nous discuterons de la possibilité d'atteindre une complexité bornée par L(1/3,O(1)) dans certaines classes de corps de nombres.