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

658 résultats

    • Séminaire

    • Cryptographie

    On Lattices, Learning with Errors, Random Linear Codes, and Cryptography

    • 07 octobre 2005

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

    Orateur : Oded Regev - Tel Aviv University

    Our main result is a reduction from worst-case lattice problems such as SVP and SIVP to a certain learning problem. This learning problem is a natural extension of the `learning from parity with error' problem to higher moduli. It can also be viewed as the problem of decoding from a random linear code. This, we believe, gives a strong indication that these problems are hard. Our reduction, however[…]
    • Séminaire

    • Cryptographie

    Traçace de traîtres face à des pirates adapatifs

    • 10 mars 2006

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

    Orateur : Thomas Sirvent - CELAR-IRMAR

    Les schémas de traçage de traîtres sont utilisés pour lutter contre le piratage lorsqu'on souhaite envoyer de manière sécurisée des données à de nombreux utilisateurs : si certains utilisateurs se rassemblent et partagent leurs clés secrètes pour fabriquer un décodeur pirate, une procédure de traçage doit permettre de trouver au moins l'un de ces ``traîtres'' à partir du décodeur pirate, auquel on[…]
    • Séminaire

    • Cryptographie

    Preuves de sécurité pour les systèmes de chiffrement à clé publique

    • 18 novembre 2005

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

    Orateur : Robert Rolland - Université de Marseille

    Cet exposé est un survol de l'état actuel de la théorie de la sécurité prouvée, en ce qui concerne le chiffrement à clé publique. Les principaux modèles d'adversaires ainsi que les principales fonctions de sécurité qu'on veut assurer sont présentés ainsi que les relations entre ces diverses notions. A partir du problème de Diffie-Hellman décisionnel, qu'on redéfinit sous différentes formes, on[…]
    • Séminaire

    • Cryptographie

    Métrique rang et applications en cryptographie

    • 21 avril 2006

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

    Orateur : Pierre Loidreau - ENSTA

    Dans cet exposé, on présentera la notion de métrique rang et l'intérêt qu'elle peut représenter dans la conception de systèmes de chiffrement à clé publique fondés sur la théorie des codes correcteurs. Dans un second temps, on exposera divers cryptosystèmes déjà publiés, dont la sécurité repose sur des propriétés de la métrique rang. Le premier type de cryptosystème est un cryptosystème de type[…]
    • Séminaire

    • Cryptographie

    An Automatic Security Protocol Verifier based on Resolution

    • 06 janvier 2006

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

    Orateur : Bruno Blanchet - ENS

    We present a technique for the verification of cryptographic protocols, based on an abstract representation of the protocol by a set of Horn clauses, and on a resolution algorithm on these clauses. This technique allows a flexible encoding of many cryptographic primitives. It can verify a wide range of security properties of the protocols, such as secrecy, authenticity, and limited cases of[…]
    • Séminaire

    • Cryptographie

    Association de malfaiteurs

    • 09 juin 2006

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

    Orateur : Yannick Chevalier - Toulouse III

    Le travail présenté s'inscrit dans le cadre de l'analyse automatique au niveau symbolique de protocoles cryptographiques. De nombreuses procédures de décisions ont été présentées dans différents cadre ces dernières années. Un point commun de ces procédures est qu'à chaque fois, un adversaire est spécifié par des règles de déductions, et que seules certaines opérations changent. Par exemple, l[…]