Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
716 results
-
-
Seminar
-
Cryptography
Un état de l'art de la cryptographie à base de réseaux
Speaker : Phong N'Guyen - Ecole Normale Supérieure
Un réseau est un sous-groupe discret de R^n. Les réseaux ont de nombreuses applications en cryptologie. Pendant longtemps, ces applications sont restées cantonnées à l'attaque des cryptosystèmes à clef publique à base de theorie des nombres. Mais paradoxalement, une cryptographie à base de reseaux est depuis apparue en 1996. Dans cet exposé, nous dresserons un état-de-l'art de la cryptographie à[…] -
-
-
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 fonction Booléenne. Nous[…] -
-
-
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
Polynomes d'Hilbert-Samuel : une introduction élémentaire
Speaker : 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)[…] -
-
-
Seminar
-
Cryptography
Sécurité informatique, de la vérification formelle de protocoles cryptographiques à la détection d'intrusions en temps réel
Speaker : 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[…] -
-
-
Seminar
-
Cryptography
Calculs explicites autour du revêtement modulaire d'une courbe elliptique définie sur Q
Speaker : Christophe Delaunay
Dans cet exposé, nous montrerons comment donner une étude concrète du revêtement modulaire d'une courbe elliptique définie sur Q, f: X_0(N) \rightarrow E. Pour cela, nous utiliserons le point de vue analytique de f qui est plus adapté pour nos calculs. En particulier, nous expliquerons comment calculer le degré de cette application et nous donnerons une étude plus ou moins expérimentale des points[…] -