599 résultats

  • Monsky-Washnitzer Cohomology and Computing Zeta Functions

    • 31 mai 2002

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    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

    • 24 mai 2002

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    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}^[…]
  • Une introduction à l'informatique, la communication, l'information et la cryptographie quantiques

    • 17 mai 2002

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    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[…]
  • Quelques méthodes (à base de transformations discrètes ou continues) de compression et leur possible exploitation aux fins de watermarking ou tatouage

    • 03 mai 2002

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Alain Yger - Université Bordeaux I

    On essaiera de mettre en lumière le profit que l'on pourrait éventuellement tirer de certaines méthodes utilisées aux fins de l'analyse, de la compression, ou du débruitage de signaux numériques, mais avec cette fois pour objectif la recherche d'outils mathématiques exploitables pour le watermarking ou le tatouage. Déconvolution et identités de Bézout (pour les bancs de filtres ou[…]
  • Signature et authentification dans les groupes

    • 26 avril 2002

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Emmanuel Bresson - Ecole Normale Supérieure

    Les mécanismes cryptographiques impliquant plusieurs acteurs ont reçu beaucoup d'attention ces dernières années. L'un des plus anciens concerne les signatures de groupe, qui combinent astucieusement des propriétés d'authentification et d'anonymat. Dans cet exposé, nous passerons en revue les schémas les plus classiques, notamment celui d'Ateniese et al. [2000], et[…]
  • Attaque par corrélation des générateurs pseudo-aléatoires pour le chiffrement à flot

    • 05 avril 2002

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : 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[…]