627 results
-
Arithmétique d'une large classe de fonctions L
Speaker : Sami Omar - Université de Tunis
Dans cet exposé, on s'intéresse à une classe générale de fonctions L ayant des propriétés similaires à celles des fonctions zêta classiques. Dans ce cadre, nous donnons une formulation du critère de positivité de Weil pour l'hypothèse de Riemann en terme de positivité des coefficients de Li généralisés faciles à calculer. -
Perturbing and Protecting a Traceable Block Cipher
Speaker : Hervé Chabanne - Sagem
At the Asiacrypt 2003 conference, Billet and Gilbert introduce a block cipher, which, to quote them, has the following paradoxical property: it is computationally easy to derive many equivalent distinct descriptions of the same instance of the block cipher; but it is computationally difficult, given one or even up to k of them, to recover the socalled meta-key from which they were derived, or to[…] -
Explicit higher dimensional 3-adic canonical lifting
Speaker : Robert Carls - Sydney University
Our talk is about joint work with D. Kohel and D. Lubicz. We prove equations having as solutions the theta null points of canonical lifts of ordinary abelian varieties over finite fields of characteristic 3. We describe an algorithm for 3-adic canonical lifting of ordinary abelian surfaces based on our formulas. The algorithm has been implemented in MAGMA. Examples of canonically lifted theta null[…] -
Peut-on calculer la cohomologie étale a coefficients mod l en temps
Speaker : Bas Edixhoven - Leiden University
La question est la suivante. Soit X une variété algébrique sur Q, et Qbar une clôture algébrique de Q. Pour tout entier n>0 on a alors le groupe de cohomologie étale V_n de X sur Qbar à coefficients dans Z/nZ. Ce V_n est un Z/nZ-module de type fini, muni d'une action du groupe de Galois Gal(Qbar/Q). Concrètement, cela veut dire qu'on a des extensions galoisiennes finies K_n de Q, avec Gal(K_n/Q)[…] -
Point counting in families of hyperelliptic curves
Speaker : Hendrik Hubrechts - Leuven University
Let p be a small prime number, F a field of characteristic p and extension degree n, and E a hyperelliptic curve over F. In cryptography one tries to exploit the hardness of determining a discrete logarithm on the jacobian of such curves. In order to achieve this it is important to know what the size of this jacobian is. This parameter can be deduced from the zeta function of the curve.<br/> We[…] -
Association de malfaiteurs
Speaker : Yannick Chevalier - Toulouse III
Le travail présenté s'inscrit dans le cadre de l'analyse automatique au niveau symbolique de protocoles cryptographiques. De nombreuses procédures de décisions ont été présentées dans différents cadre ces dernières années. Un point commun de ces procédures est qu'à chaque fois, un adversaire est spécifié par des règles de déductions, et que seules certaines opérations changent. Par exemple, l[…]