522 results
-
Comportement asymptotique de la non-linéarité des fonctions booléennes
Speaker : Stéphanie Dib - Institut mathématiques de Luminy
Dans le contexte de la cryptographie, la non-linéarité des fonctions booléennes est un critère essentiel pour résister aux attaques linéaires. Comme il y a beaucoup plus d'approximations quadratiques que d'approximations linéaires, il est nécessaire aussi de considérer la non-linéarité d'ordre 2. Dans cet exposé, nous étudions la distribution de la non-linéarité des fonctions booléennes, ainsi que[…] -
Indifférentiabilité et preuves de sécurité dans des modèles idéalisés
Speaker : Yannick Seurin - France Telecom
Les preuves de sécurité en cryptographie font très souvent appel à des modèles idéalisés consistant à remplacer un certain composant d'un cryptosystème par la primitive idéale correspondante (par exemple une fonction de hachage modélisée par un oracle aléatoire). Dans cet exposé nous présenterons le concept d'indifférentiabilité introduit par Maurer, Renner et Holenstein et son application aux[…] -
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[…] -
SAT solvers in the context of Cryptography
Speaker : Mate Soos - LIP6
The use of SAT solvers is enjoying a boom in the area of cryptanalysis. In this presentation we explore the reasons for the efficiency of SAT solvers in this field. The presentation will describe how SAT solvers' variable branching heuristics, conflict analysis routines and lazy data structures work in unison to create a complex algorithm that can tackle difficult problems with relative ease.[…] -
Isogeny computation in small characteristic
Speaker : Lucas De Feo - LIX
Isogenies are an important tool in the study of elliptic curves. As such their applications in Elliptic Curve Cryptography are numerous, ranging from point counting to new cryptographic schemes.<br/> The problem of finding explicit formulae expressing an isogeny between two elliptic curves has been studied by many. Vélu gave formulae for the case where the curves are defined over C; these formulae[…] -
Noyaux et pinceaux de formes quadratiques
Speaker : Gilles Macariorat - France Telecom
La cryptographie multivariée est une vaste famille de schémas qui reposent sur la difficulté de résoudre en général un système multivarié quadratique quelconque.<br/> Parmi ces schémas on trouve SFLASH, HFE, UOV, etc. L'objet de cet exposé est une présentation de travaux récents de cryptanalyse du schéma SFLASH, ou plus généralement de schémas dans lequel un monôme central (voire un petit nombre[…]