Je recherche

670 résultats

• • Séminaire

  • Cryptographie

  Sur le rang de tordues quadratiques de courbes elliptiques sur

  • 21 octobre 2005

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

  Orateur : Emmanuel Kowalski - Université Bordeaux I

  La distribution du rang de familles de courbes elliptiques sur un corps de fonction sur un corps fini est théoriquement mieux comprise que dans le cas d'un corps de nombre. En particulier, dans le cas de familles de tordues quadratiques d'une courbe fixée, il est possible de montrer que le nombre de tordues dont le rang est plus grand que ce qu'impose l'équation fonctionnelle est trés petit. Les[…]

• • Séminaire

  • Cryptographie

  Cryptography in the Bounded Quantum-Storage Model

  • 12 mai 2006

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

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

• • Séminaire

  • Cryptographie

  Blackbox Secret Sharing from Primitive Sets in Algebraic Number Fields

  • 02 décembre 2005

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

  Orateur : Rolnald Cramer - CWI, Amsterdam & Mathematical Insitute, Leiden University

  A {\em black-box} secret sharing scheme (BBSSS) for a given access structure works in exactly the same way over any finite Abelian group, as it only requires black-box access to group operations and to random group elements. In particular, there is no dependence on e.g.\ the structure of the group or its order. The expansion factor of a BBSSS is the length of a vector of shares (the number of[…]

• • Séminaire

  • Cryptographie

  Analyse automatique de protocoles de sécurité

  • 20 janvier 2006

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

  Orateur : Michael Rusinowitch - LORIA

  Nous présentons une méthode pour automatiser l'analyse des protocoles cryptographiques à partir de leurs descriptions sous forme de règles d'envoi de messages. Le problème de la détection d'attaque dans un environnement hostile se ramène à la résolution de contraintes sur un espace de messages. La résolution de ces contraintes implantée dans le logiciel issu du projet européen AVISPA est[…]

• • Séminaire

  • Cryptographie

  Non-linéarité asymptotique des fonctions booléennes

  • 17 juin 2005

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

  Orateur : François Rodier - Institut mathématique de Luminy

  Les fonctions booléennes sur l'espace $F_2^m$ sont non seulement importantes dans la théorie de codes correcteurs d'erreurs, mais également en cryptographie. Dans ces deux cas, la non-linéarité de ces fonctions est un concept essentiel. Carlet, et Olejar et Stanek ont donné une borne inférieure asymptotique pour la non-linéarité de la plupart d'entre elles. Dans cet exposé, j'améliore cette borne[…]

• • Séminaire

  • Cryptographie

  Conditional Reactive Simulatability (joint work with Michael

  • 17 mars 2006

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

  Orateur : Dennis Hofheinz - CWI Amsterdam

  Simulatability has established itself as a salient notion for proving the security of multi-party protocols since it entails strong security and compositionality guarantees, which are achieved by universally quantifying over all environmental behaviors of the analyzed protocol. As a consequence, however, protocols that are secure except for certain environmental behaviors are not simulatable, even[…]