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.
634 résultats
-
-
Séminaire
-
Cryptographie
Preuve d'indifférentiabilité avec distingueurs
Orateur : Anne Canteaut (deuxième exposé) - INRIA
(travail commun avec E. Bresson, T. Fuhr, T. Icart, M. Naya-Plasencia, P. Paillier, J-R. Reinhard, M. Videau)<br/> Le principe d'une preuve d'indifférentiabilité est de montrer qu'une fonction de hachage construite selon un mode opératoire donné et utilisant une fonction de compression idéale se comporte comme un oracle aléatoire. Il est donc naturel d'en conclure que l&[…] -
-
-
Séminaire
-
Cryptographie
Un algorithme de résolution des équations quadratiques
Orateur : Pierre Castel - Université de Caen
Soit Q une forme quadratique de dimension 5. Le but de cet algorithme est de trouver un vecteur isotrope pour la forme Q. Des algorithmes existent déjà pour résoudre ce type d'équation, cependant la première étape de ces algorithmes consiste à factoriser le déterminant de Q ce qui nuit considérablement à leur efficacité. Dans cet exposé, je proposerai un nouvel algorithme ne factorisant pas[…] -
-
-
Séminaire
-
Cryptographie
Cryptanalyse d'ESSENCE
Orateur : Yann Laigle-Chapuy - INRIA
La fonction de hachage ESSENCE faisait partie des candidats soumis au concours organisé par le NIST afin de définir de nouveaux standards. Nous présenterons dans cet exposé une attaque sur les versions complètes de ESSENCE-256 et ESSENCE-512 de complexités respectives $2^{67.4}$ et $2^{134.7}$. Ces attaques sont basées sur une cryptanalyse différentielle classique et nous détaillerons[…] -
-
-
Séminaire
-
Cryptographie
Systèmes bilinéaires et déterminantiels : algorithmes, complexité et
Orateur : Pierre-Jean Spaenlehauer - LIP6
Dans cet exposé, nous étudions des méthodes de résolution de deux types de systèmes polynomiaux structurés : les systèmes bilinéaires et déterminantiels. L'objectif principal est d'étudier les propriétés algébriques de ces systèmes pour en accélérer la résolution et pour borner la complexité des algorithmes de calcul de bases de Gröbner. Ceci passe par l'obtention de nouvelles[…] -
-
-
Séminaire
-
Cryptographie
Intégration numérique prouvée pour la théorie des nombres
Orateur : Pascal Molin - Université Bordeaux I
La théorie des nombres rend nécessaire le calcul de certaines intégrales à des précisions permettant un travail arithmétique. On présentera une méthode à la fois simple, rapide et prouvée pour y parvenir. Il existe depuis une vingtaine d'années un paradigme d'intégration numérique, dit des fonctions doublement exponentielles, qui dans la pratique converge très rapidement pour des[…] -
-
-
Séminaire
-
Cryptographie
Support for p-adics in Sage: present and future
Orateur : David Roe - Harvard
I will describe the current capabilities within Sage for arithmetic in p-adic rings and fields, as well as support for polynomials, matrices, hyperelliptic curves and p-adic L-functions. I will then discuss plans for improvements to these areas. -