Je recherche

719 résultats

• • 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

  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

  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,[…]

• • 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

  Le projet Lande : analyse de logiciel pour la sécurité

  • 25 mai 2007

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

  Orateur : Thomas Jensens - IRISA

  Les activités du projet Lande portent sur l'analyse statique de logiciel avec la sécurité logicielle comme domaine d'application privilégié. Dans cet exposé, je vais esquisser les bases théoriques de l'analyse statique et donner des exemples d'application à l'analyse de protocoles cryptographiques et de codes mobiles.

• • Séminaire

  • Cryptographie

  courbes maximales de genre 3

  • 08 décembre 2006

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

  Orateur : Christophe Ritzenthaler - Université de Luminy

  Etant donnee une courbe (absolument irreductible, lisse, projective) de genre g sur un corps fini k, les questions du type : "quel peut etre son nombre maximal de points rationnels ? Quel peut etre son polynome du Frobenius ? Ou de maniere equivalente : quelles sont les classes d'isogenie de varietes abeliennes de dimension g sur k qui contiennent la jacobienne d'une courbe ?" sont d'importance,[…]