Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
718 results
-
-
Seminar
-
Cryptography
Outils cryptographiques pour les accréditations anonymes
Speaker : Roch Lescuyer - ENS
L'un des rôles de la cryptographie moderne est d'assurer l'authentification pour l'accès aux services numériques. Dans ce contexte, la traçabilité des personnes constitue bien souvent l'envers de la médaille. Afin de répondre à cette problématique majeure du respect de la vie privée, tout en maintenant des politiques de droits d'accès, il serait ainsi souhaitable de concilier authentification et[…] -
-
-
Seminar
-
Cryptography
Calcul de bases de Gröbner d'idéaux invariants sous l'action
Speaker : Jules Svartz - LIP6
La résolution de systèmes polynomiaux présentant des symétries est un problème naturel qui apparaît dans plusieurs contextes applicatifs (cryptographie, robotique, biologie, physique, codes correcteurs d'erreurs...) Les algorithmes usuels de calcul de bases de Gröbner détruisent en général ces symétries. Lorsque toutes les équations du système polynomial sont individuellement invariantes sous l[…] -
-
-
Seminar
-
Cryptography
Cryptanalyse d'ESSENCE
Speaker : 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[…] -
-
-
Seminar
-
Cryptography
Systèmes bilinéaires et déterminantiels : algorithmes, complexité et
Speaker : 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 bornes fines sur la[…] -
-
-
Seminar
-
Cryptography
Support for p-adics in Sage: present and future
Speaker : 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. -
-
-
Seminar
-
Cryptography
Intégration numérique prouvée pour la théorie des nombres
Speaker : 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 fonctions[…] -