518 résultats
-
Introduction aux preuves interactives et au zero-knowledge
Orateur : 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[…] -
Codes aux longues ombres
Orateur : 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[…] -
Computing the order of the group of rational points on the Jacobian of a hyperelliptic curve in characteristic 2
Orateur : Alan Lauder - Oxford University
I will describe an algorithm for computing the zeta function of an arbitrary hyperelliptic curve in characteristic 2. This is a generalisation of an earlier method of myself and Wan, which tackled a restricted class of curves. The algorithm reduces the problem to that of computing the L-function of an additive character sum over an open subset of the projective line. This latter task can be[…] -
Monsky-Washnitzer Cohomology and Computing Zeta Functions
Orateur : Kiran Kedlaya - Berkeley
Monsky-Washnitzer cohomology is a p-adic cohomology theory for algebraic varieties over finite fields, based on algebraic de Rham cohomology. Unlike the l-adic (etale) cohomology, it is well-suited for explicit computations, particularly over fields of small characteristic. We describe how to use Monsky-Washnitzer to construct efficient algorithms for computing zeta functions of varieties over[…] -
Quelques algorithmes pour l'arithmétique des séries formelles
Orateur : Guillaume Hanrot - INRIA
L'exposé présentera quelques travaux recents, communs avec Paul Zimmermann et pour partie avec Michel Quercia, qui montrent comment accélerer diverses operations arithmétiques (multiplication, division, racine carrée, carré, multiplication) sur les séries formelles. Un des ingrédients fondamentaux est un algorithme de calcul efficace du produit médian de deux polynômes : si $P = \sum_{i=0}^{2n-2}[…] -
Une introduction à l'informatique, la communication, l'information et la cryptographie quantiques
Orateur : Dimitri Petritis - IRMAR
Dans la première partie de l'exposé, une introduction élémentaire aux principes de la mécanique quantique sera donnée dans un langage qui permet de les appliquer immédiatement en informatique quantique. Ces principes seront ensuite illustrés par une application : l'algorithme de factorisation de Shor qui permet de factoriser un entier dans un temps polynomial dans le nombre des digits de l'entier.[…]