Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
733 results
-
-
Seminar
-
Cryptography
Généralisations multivariées de l'algorithme de Guruswami-Sudan
Speaker : Daniel Augot - INRIA
Dans cette présentation, je m'intéresserai aux généralisations de l'algorithme de Guruswami-Sudan. Il y a deux sortes de généralisations : celle de Parvaresh et Vardy, où l'on décode plusieurs mots en même temps, qui a culminé avec les codes de Guruswami et Rudra, qui atteignent la capacité du décodage en liste, sur des gros alphabets. Ce n'est pas cette généralisation qui m'intéresse. Je vais[…] -
-
-
Seminar
-
Cryptography
Les suites elliptiques à divisibilité.
Speaker : Valery Mahé - University of East Anglia
Les suites elliptiques à divisibilité sont un analogue, dans le cadre de la théorie des courbes elliptiques, des suites de Lucas et de Mersenne. De part leurs liens étroits avec les polynômes de division, les suites elliptiques à divisibilité et leurs généralisations ont des applications en cryptographie : étude par Shipsey du probleme du logarithme discret, algorithme de Stange pour le calcul[…] -
-
-
Seminar
-
Cryptography
Calcul asymptotiquement optimal de polynômes de classes
Speaker : Andreas Enge - Ecole polytechnique
Le calcul de polynômes de classe est l'étape principale dans la construction de courbes elliptiques par la méthode de la multiplication complexe.<br/> Ces courbes peuvent servir comme base de cryptosystèmes, dans les preuves de primalité ou pour tricher dans la chasse au record de factorisation avec ECM.<br/> Je présente un algorithme asymptotiquement optimal, mais pratiquement trop lent pour[…] -
-
-
Seminar
-
Cryptography
Calculer efficacement des couplages
Speaker : Oumar Diao - IRMAR
Dans cet exposé, nous ferons une présentation de certains aspects des calculs de couplages sur les jacobiennes de courbes algébriques utiles en cryptographie.<br/> Après un rappel sur les définitions mathématiques, nous présenterons l'algorithme de Miller qui permet de calculer efficacement les couplages de Weil et Tate. Puis, nous décrirons quelques améliorations algorithmiques apportées par F.[…] -
-
-
Seminar
-
Cryptography
Peut-on calculer la cohomologie étale a coefficients mod l en temps
Speaker : Bas Edixhoven - Leiden University
La question est la suivante. Soit X une variété algébrique sur Q, et Qbar une clôture algébrique de Q. Pour tout entier n>0 on a alors le groupe de cohomologie étale V_n de X sur Qbar à coefficients dans Z/nZ. Ce V_n est un Z/nZ-module de type fini, muni d'une action du groupe de Galois Gal(Qbar/Q). Concrètement, cela veut dire qu'on a des extensions galoisiennes finies K_n de Q, avec Gal(K_n/Q)[…] -
-
-
Seminar
-
Cryptography
Vérification formelle de compilateurs
Speaker : Xavier Leroy - INRIA Rocquencourt
Tous les programmeurs s'attendent à ce que les compilateurs et autres outils de génération de code produisent du code exécutable qui se comporte exactement comme prescrit par le programme source. Ce n'est malheureusement pas toujours le cas : des bugs dans le compilateur peuvent conduire à la production de code machine incorrect à partir d'un source correct. Ce cas de figure est particulièrement[…] -