Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
727 results
-
-
Seminar
-
Cryptography
Attaque par corrélation des générateurs pseudo-aléatoires pour le chiffrement à flot
Speaker : Anne Canteaut - INRIA
La plupart des générateurs pseudo-aléatoires pour le chiffrement à flot sont composés de registres à décalage à rétroaction linéaire, qui peuvent être combinés de diverses manières. Ils sont donc vulnérables aux attaques par corrélation qui consistent à exploiter l'existence d'une éventuelle corrélation entre la sortie du générateur pseudo-aléatoire et celle d'un des registres utilisés. Meier et[…] -
-
-
Seminar
-
Cryptography
Monsky-Washnitzer Cohomology and Computing Zeta Functions
Speaker : 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[…] -
-
-
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
Comptage et construction de corps de nombres
Speaker : Henri Cohen - Université Bordeaux I
Cet exposé constitue un survol de méthodes récentes permettant de construire des tables de corps de nombres ainsi qu'une énumération asymptotique des corps de nombres ordonnés par leur discriminant. Les méthodes traditionnelles pour effectuer cela reposent sur la géométrie des nombres, pour l'essentiel sur un théorème dû à Hunter, complété par un résultat de Martinet pour traiter les extensions[…] -
-
-
Seminar
-
Cryptography
Introduction aux preuves interactives et au zero-knowledge
Speaker : 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[…] -
-
-
Seminar
-
Cryptography
Le problème du logarithme discret et ses applications en cryptographie
Speaker : David Lubicz - CELAR
L'objectif de cet exposé est de présenter les problématiques cryptographiques qui ont motivé quelques unes des idées présentées dans les précédentes séances. Nous definissons donc les problèmes du logarithme discret et de Diffie-Hellman en nous attachant à mettre en évidence les conditions générales dans lesquelles ces problèmes sont de complexité suffisante pour pouvoir servir dans des primitives[…] -