Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
633 results
-
-
Seminar
-
Cryptography
Introduction aux preuves interactives et au zero-knowledge
Speaker : 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[…] -
-
-
Seminar
-
Cryptography
Extensions of Kedlaya's algorithm
Speaker : Frederik Vercauteren - Bristol University
Kedlaya described an algorithm for computing the zeta function of a hyperelliptic curve in characteristic p > 2 using the theory of Monsky-Washnitzer cohomology. Joint work with Jan Denef has resulted in 2 extensions of Kedlaya's original algorithm: the first extension can be used to compute the zeta function of a hyperelliptic curve in characteristic 2 and the second leads to a rather general[…] -
-
-
Seminar
-
Cryptography
Comptage et construction de corps de nombres
Speaker : Henri Cohen - Université Bordeaux I
Cet exposé constitue un survol de méthodes récentes permettant de construire des tables de corps de nombres ainsi qu'une énumération asymptotique des corps de nombres ordonnés par leur discriminant. Les méthodes traditionnelles pour effectuer cela reposent sur la géométrie des nombres, pour l'essentiel sur un théorème dû à Hunter, complété par un résultat de Martinet pour traiter les extensions[…] -
-
-
Seminar
-
Cryptography
Quelques méthodes (à base de transformations discrètes ou continues) de compression et leur possible exploitation aux fins de watermarking ou tatouage
Speaker : Alain Yger - Université Bordeaux I
On essaiera de mettre en lumière le profit que l'on pourrait éventuellement tirer de certaines méthodes utilisées aux fins de l'analyse, de la compression, ou du débruitage de signaux numériques, mais avec cette fois pour objectif la recherche d'outils mathématiques exploitables pour le watermarking ou le tatouage. Déconvolution et identités de Bézout (pour les bancs de filtres ou de pseudo[…] -
-
-
Seminar
-
Cryptography
Correspondances modulaires, relèvement canonique et applications
Speaker : Jean-Marc Couveignes - Univeristé Toulouse II
-
-
-
Seminar
-
Cryptography
Comptage des points rationnels d'une courbe elliptique sur un corps fini
Speaker : René Schoof - Universita Roma 2
L'exposé portera sur la méthode trouvée il y a une quinzaine années par le conférencier pour calculer le nombre de points rationnels d'une courbe elliptique sur un corps fini. Il évoquera aussi les développements postérieurs (Atkin, Elkies, Satoh, Kedlaya, Mestre,...). -