Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
677 results
-
-
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
Correspondances modulaires, relèvement canonique et applications
Speaker : Jean-Marc Couveignes - Univeristé Toulouse II
-
-
-
Seminar
-
Cryptography
Codes aux longues ombres
Speaker : 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[…] -
-
-
Seminar
-
Cryptography
Algorithmes pour la théorie de Galois des corps de nombres et leur mise en oeuvre dans PARI/GP
Speaker : Bill Allombert - INRIA
On présentera les techniques algorithmiques générales mises en oeuvre pour l'étude algorithmique des extensions Galoisiennes du corps des rationnels.<br/> Les problèmes étudiés concernent le calcul des automorphismes galoisiens, le calcul du groupe abstrait sous-jacent, le calcul des sous-corps par correspondance de Galois et le calcul de la factorisation intermediaire du polynôme définissant le[…] -
-
-
Seminar
-
Cryptography
Complexité et arithmétique des réseaux
Speaker : Jean-Marc Couveignes - Université de Toulouse
L'exposé comportera deux parties Dans la premiere, on présentera quelques notions fondamentales de théorie de la complexité, illustrés par des exemples très simples. La deuxième partie sera consacrée à la recherche de vecteurs courts dans les réseaux. On presentera des résultats récents, dus a Adleman, Ajtai, Lenstra et d'autres, qui permettent d'évaluer la difficulté de ce problème.<br/> La[…] -
-
-
Seminar
-
Cryptography
Serre-Tate theory and converging AGM-sequences
Speaker : Robert Carls - University of Leiden
Let A be an abelian variety over a finite field. Liftable endomorphisms of A act on the deformation space. In the ordinary case there's a canonical way of lifting Frobenius. We will show, that the action of Frobenius has a unique fixpoint, the canonical lift. A proof will be given in terms of Barsotti-Tate groups using the Serre-Tate theorem. Drinfeld's proof of this theorem will be sketched (see […] -