Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
633 results
-
-
Seminar
-
Cryptography
Quelques résultats sur la cryptanalyse des registres filtrés
Speaker : Sabine Leveiller - Thales
Les systèmes de chiffrement à flot sont couramment utilisés en pratique puisqu'ils permettent un chiffrement rapide des données tout en consommant peu d'énergie. L'objet de cette présentation est d'étudier la cryptanalyse d'un tel système ; plus précisément, nous nous intéresserons au générateur de clé constitué d'un registre à décalage filtré non linéairement par une[…] -
-
-
Seminar
-
Cryptography
Autour d'un algorithme de calcul de sommes de Kloosterman (d'après un travail de N.Tsuzuki)
Speaker : Gweltaz Chatel - Université de Rennes
Dans une optique voisine de celle ayant mené Lauder et Wan à leur algorithme de comptage de points, on regardera l'interprètation cohomologique des sommes de Kloosterman, et ce dans le langage de la cohomologie rigide. Cela nous amènera à construire et considérer un F-isocristal dit de Bessel. Par nature, sa matrice de Frobenius vérifie une équation différentielle. En tirant parti du fait que[…] -
-
-
Seminar
-
Cryptography
Divisibilité des nombres de classes
Speaker : 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. -
-
-
Seminar
-
Cryptography
Quelques algorithmes pour l'arithmétique des séries formelles
Speaker : Guillaume Hanrot - INRIA
L'exposé présentera quelques travaux recents, communs avec Paul Zimmermann et pour partie avec Michel Quercia, qui montrent comment accélerer diverses operations arithmétiques (multiplication, division, racine carrée, carré, multiplication) sur les séries formelles. Un des ingrédients fondamentaux est un algorithme de calcul efficace du produit médian de deux polynômes : si $P = \sum_{i=0}^[…] -
-
-
Seminar
-
Cryptography
Quelques aspects algorithmiques des courbes elliptiques sur un corps fini
Speaker : Reynald Lercier - CELAR
Les améliorations apportées par Atkin et Elkies à l'algorithme de Schoof dans les années 80 pour le calcul du nombre de points d'une courbe elliptique définie sur un corps fini peuvent être vues comme une compréhension approfondie de la l-torsion de ces groupes. Par soucis d'effectivité, nous nous proposons dans la première partie de l'exposé d'aborder cet aspect sous un[…] -
-
-
Seminar
-
Cryptography
Application du couplage de Weil et Tate en cryptographie
Speaker : 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[…] -