599 results
-
Implémentation des couplages
Speaker : Oumar Diao - Dakar/IRMAR
-
Comptage de points : application des méthodes cristallines
Speaker : Gweltaz Chatel - IRMAR
On présente une nouvelle méthode pour le calcul du nombre de points de courbes algébriques sur des corps finis. En utilisant la stabilité de la cohomologie rigide à support propre par descente finie étale, on montre que l'on peut ramener le calcul des groupes de cohomologie d'une telle courbe à celui des groupes de cohomologie d'un isocristal sur un ouvert de la droite affine, et on[…] -
Questions d'euclidianité dans les corps de nombres
Speaker : Jean-Paul Cerri - IECN et LORIA
Le but de cet exposé est de présenter de nouveaux résultats sur les minima et spectres euclidiens des corps de nombres, et ceci d'un point de vue à la fois algorithmique et théorique. Un problème très ancien en théorie des nombres consiste à savoir si un corps de nombres est euclidien, en particulier pour la norme. Lorsqu'on cherche à préciser les choses, on est amené naturellement à[…] -
Résultants, constructions et applications
Speaker : Bernard Mourrain - INRIA
Les calculs de résultants apparaissent dans beaucoup de problèmes de la géométrie algébrique effective. Ils fournissent une méthode pour projeter une situation en dimension plus petite ainsi que des techniques de remontées. Après un rappel de différentes définitions et constructions de résultants, nous illustrerons ces méthodes sur quelques problèmes. Nous nous intéresserons plus particulièrement[…] -
An l-adic CM construction for genus 2
Speaker : David Kohel - University of Sydney
We recall recent work on CM constructions using canonical lifts of the Frobenius isogeny: for p = 2 with Gaudry, Houtmann, Ritzenthaler, and Weng, and generalisation to p = 3 with Carls and Lubicz. I will explain how to extend this to (l,l)-isogenies for l = 2, 3 coprime to the characteristic. -
Le projet Lande : analyse de logiciel pour la sécurité
Speaker : Thomas Jensens - IRISA
Les activités du projet Lande portent sur l'analyse statique de logiciel avec la sécurité logicielle comme domaine d'application privilégié. Dans cet exposé, je vais esquisser les bases théoriques de l'analyse statique et donner des exemples d'application à l'analyse de protocoles cryptographiques et de codes mobiles.