Filtrer par type de contenu

Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.

Supprimer tous les filtres

656 résultats

    • 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[…]
    • Séminaire

    • Cryptographie

    La sécurité des schémas de Feistel aléatoires

    • 14 octobre 2005

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

    Orateur : Jacques Patarin - Université de Versaille

    Les schémas de Feistel fournissent une méthode standard pour construire des permutations pseudo-aléatoires, ou encore pour construire des algorithmes de chiffrement par blocs. Depuis le célèbre résultat de Luby et Rackoff sur les schémas de Feistel aléatoires à 3 et 4 tours (1989) les preuves de sécurité et les attaques sur ces schémas ont été améliorées à plusieurs reprise.<br/> Dans cet exposé[…]
    • Séminaire

    • Cryptographie

    Constructing group based provably secure encryption schemes: a

    • 28 avril 2006

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

    Orateur : Maria Isabel Gonzalez Vasco - Universidad Rey Juan Carlos Madrid

    Cryptographic primitives arising from group theory have in the last few years attracted a lot of attention. Unfortunately, up to date most of the existing proposals are still far away from practical applications, not only due to unlucky computational assumptions which later turned out to be invalid. In this talk we address the impact of modern security analysis in the sense of provable security to[…]
    • Séminaire

    • Cryptographie

    Relative rigid cohomology and the deformation method for elliptic curves

    • 18 novembre 2005

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

    Orateur : Ralf Gerkmann - Universitat Mainz

    By a well-known result of Dwork the zeta functions of the fibers in a one-parameter family of hypersurfaces can be described in terms of p-adic holomorphic functions. This result was used by A. Lauder in order to formulate a deter- ministic algorithm that computes the zeta function of a hypersurface in polynomial time. In this talk we describe a similiar method for elliptic curves which is based[…]
    • Séminaire

    • Cryptographie

    Symbolic verification of Diffie-Hellman-based group key exchange

    • 13 janvier 2006

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

    Orateur : Yassine Lakhnech - VERIMAG

    We discuss the cryptographic soundness of a symbolic model for Diffie-Hellman based key exchange protocols including symmetric encryption. Our main tool is a new dynamic variation of the decisional Diffie-Hellman problem useful for group protocols.