Filtrer par type de contenu
Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.
742 résultats
-
-
Séminaire
-
Cryptographie
Correspondances modulaires, relèvement canonique et applications
Orateur : Jean-Marc Couveignes - Univeristé Toulouse II
-
-
-
Séminaire
-
Cryptographie
Monsky-Washnitzer Cohomology and Computing Zeta Functions
Orateur : Kiran Kedlaya - Berkeley
Monsky-Washnitzer cohomology is a p-adic cohomology theory for algebraic varieties over finite fields, based on algebraic de Rham cohomology. Unlike the l-adic (etale) cohomology, it is well-suited for explicit computations, particularly over fields of small characteristic. We describe how to use Monsky-Washnitzer to construct efficient algorithms for computing zeta functions of varieties over[…] -
-
-
Séminaire
-
Cryptographie
Codes aux longues ombres
Orateur : Christine Bachoc - Université Bordeaux I
L'etude et la classification des codes autoduaux binaires a une longue histoire. Les travaux de Conway-Sloane, puis de Eric Rains, ont montre qu'il faut etudier en meme temps qu'un code $C$, son ombre $S$. Apres quelques rappels sur ces notions, nous introduirons une notion d'extremalite, qui fait intervenir le couple ($C$, $S$), et est definie par leurs polynomes enumerateurs des poids. Une[…] -
-
-
Séminaire
-
Cryptographie
Introduction aux preuves interactives et au zero-knowledge
Orateur : François Arnault - Université de Limoge
Les preuves intéractives définissent une classe de problèmes assez large englobant en particulier NP et co-NP. Elles ont un intérêt pratique dans le cadre de l'identification cryptographique, en particulier lorsqu'elles sont accompagnées de la propriété zero-knowledge.<br/> Cet exposé est une introduction, suivant un plan traditionnel. Il sera illustré par quelques exemples pris à la théorie des[…] -
-
-
Séminaire
-
Cryptographie
Quelques aspects algorithmiques des courbes elliptiques sur un corps fini
Orateur : 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 angle résolument[…] -
-
-
Séminaire
-
Cryptographie
Application du couplage de Weil et Tate en cryptographie
Orateur : 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[…] -