511 results
-
Borne inférieure pour les signatures préservant la structure symétriques
Speaker : Mehdi Tibouchi - LORIA
Un schéma de signatures « préservant la structure » (SPS) est un schéma de signature numérique à clef publique dans lequel la clef publique, les messages et les signatures sont tous des n-uplets d'éléments de groupe bilinéaire, et la vérification de signature s'obtient en évaluant des produits de couplages. Cette primitive a de nombreuses applications à la construction de protocoles[…] -
Un test de pseudo-primalité efficace
Speaker : Tony Ezome - Université de Bordeaux
Etant donné un entier naturel n, il convient de se demander si n est un nombre premier ou composé. Il existe plusieurs méthodes pour étudier la primalité des entiers. Le test de Miller-Rabin est très efficace en pratique. Il s'agit en fait d'un test de composition en ce sens qu'il ne prouve pas que l'entier testé est premier, mais en apporte une forte conviction. C'est[…] -
Sélection polynomiale pour NFS
Speaker : Paul Zimmermann - LORIA
Le problème de la sélection polynomiale pour le crible algébrique consiste à trouver deux polynômes irréductibles f(x) et g(x) à coefficients entiers ayant une racine commune modulo le nombre N à factoriser. On décrira en détail l'algorithme proposé par Kleinjung en 2008, son implantation dans CADO-NFS, et on donnera des exemples de polynômes obtenus avec cet algorithme (RSA704, B200, RSA896)[…] -
Calcul de représentations galoisiennes
Speaker : Nicolas Mascot - Université Bordeaux I
Nous décrivons un algorithme permettant de calculer les représentations galoisiennes associées à une forme modulaire parabolique propre, et nous étudions un problème associé, à savoir le calcul des coefficients de Fourier de cette forme modulo un petit nombre premier. -
Explicit isogenies of low degree
Speaker : Kiminori Tsukazaki - University of Warwick
There are several algorithms for computing isogenies between elliptic curves, and one of them is Elkies' method using the modular curve. Motivated by that, we will look at an algebraic approach to explicitly compute isogenies of degree p for certain small primes p between elliptic curves, by using the modular curve and 'generic kernel polynomials'. -
Verification of Security Protocols with Lists:
Speaker : Miriam Paiola - ENS
We present a novel, simple technique for proving secrecy properties for security protocols that manipulate lists of unbounded length, for an unbounded number of sessions.<br/> More specifically, our technique relies on the Horn clause approach used in the automatic verifier ProVerif: we show that if a protocol is proven secure by our technique with lists of length one, then it is secure for[…]