624 results
-
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[…] -
Group Signatures for Federated Systems
Speaker : Mark Manulis - Ruhr-University of Bochum
For many mutli-party applications group signatures are important cryptographic primitives that can be used for the purpose of anonymity and privacy. In classical group signatures members of a group are able to sign messages anonymously on behalf of the group. However, there exists a designated authority, called group manager, that initializes the scheme, adds new group members, and is able to open[…] -
Le décodage itératif et ses applications à la cryptanalyse
Speaker : Anne Canteaut et Jean-Pierre Tillich - INRIA, projet CODES
Un certain nombre de cryptanalyses sur les algorithmes de chiffrement à flot peuvent s'exprimer comme des problèmes de correction d'erreurs et bénéficient par conséquent des progrès réalisés dans le domaine du décodage. Dans cet exposé, nous présenterons plusieurs attaques sur les systèmes par registre filtré qui reposent toutes sur l'existence de relations linéaires creuses entre les bits de la[…] -
Cryptography in the Bounded Quantum-Storage Model
Speaker : Serge Fehr - CWI Amsterdam
Most of todays cryptography relies on the assumption that a potential attacker cannot solve some computational problem (e.g. factor a large integer). It has been shown in the early 80's that with the use of quantum-mechanical effects, certain cryptographic tasks can be done unconditionally, i.e., secure against computationally unbounded attackers: Quantum-cryptography, and with it the hope that (m[…]