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

671 résultats

    • Séminaire

    • Cryptographie

    An l-adic CM construction for genus 2

    • 01 juin 2007

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

    Orateur : David Kohel - University of Sydney

    We recall recent work on CM constructions using canonical lifts of the Frobenius isogeny: for p = 2 with Gaudry, Houtmann, Ritzenthaler, and Weng, and generalisation to p = 3 with Carls and Lubicz. I will explain how to extend this to (l,l)-isogenies for l = 2, 3 coprime to the characteristic.

    • Séminaire

    • Cryptographie

    Point counting in families of hyperelliptic curves

    • 23 juin 2006

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

    Orateur : Hendrik Hubrechts - Leuven University

    Let p be a small prime number, F a field of characteristic p and extension degree n, and E a hyperelliptic curve over F. In cryptography one tries to exploit the hardness of determining a discrete logarithm on the jacobian of such curves. In order to achieve this it is important to know what the size of this jacobian is. This parameter can be deduced from the zeta function of the curve.<br/> We[…]

    • Séminaire

    • Cryptographie

    Efficient Intrusion-Resilient Signatures Without Random Oracle

    • 02 février 2006

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

    Orateur : Benoit Libert - Université Catholique de Louvain

    Intrusion-resilient signatures are key-evolving protocols that extend the concepts of forward-secure and key-insulated signatures. As in the latter schemes, time is divided into distinct periods where private keys are periodically updated while public keys remain fixed. Private keys are stored in both a user and a base; signature operations are performed by the user while the base is involved in[…]

    • Séminaire

    • Cryptographie

    Vérification de description VHDL par interprétation abstraite

    • 14 septembre 2007

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

    Orateur : Charles Hymans - EADS

    Cet exposé présente la conception par interprétation abstraite, d'un outil automatique et efficace de vérification de circuits, décrits dans le langage VHDL.<br/> Dans un premier temps, une formalisation, aussi concise que possible, de l'algorithme de simulation de VHDL sera présentée. Un algorithme d'analyse statique sera dérivé de façon systématique de cette sémantique. Etant donnée une[…]

    • Séminaire

    • Cryptographie

    Corps de nombres, réseaux euclidiens et codes espace-temps

    • 20 octobre 2006

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

    Orateur : Eva Bayer - EPFL

    Soit K un corps de nombres algébriques. L'image par le plongement canonique de l'anneau des entiers, et plus généralement de tout idéal de K, est un réseau dans un espace euclidien. Plus généralement, on peut définir une notion de plongement généralisé, qui donne encore lieu à des réseaux euclidiens associés au corps de nombres, et qui permet d'avoir une beaucoup plus grande flexibilité. Cette[…]

    • Séminaire

    • Cryptographie

    Cryptographie à clé publique et RFID

    • 23 mars 2007

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

    Orateur : Marc Girault, Loic Juniot - France Télécom Division R&D

    Nous montrons que, contrairement à une croyance commune, la cryptographie à clé publique peut être implémentée sur des étiquettes radio-fréquence ("RFID tags"). Afin d'établir cette faisabilité, nous avons d'abord spécifié une variante adéquate de GPS, protocole d'authentification développé avec l'Ecole normale supérieure. Nous l'avons ensuite implémentée sur un circuit FPGA complet avec ASK,[…]
Haut de page