Description
Les schémas de Feistel fournissent une méthode standard pour construire des permutations pseudo-aléatoires, ou encore pour construire des algorithmes de chiffrement par blocs. Depuis le célèbre résultat de Luby et Rackoff sur les schémas de Feistel aléatoires à 3 et 4 tours (1989) les preuves de sécurité et les attaques sur ces schémas ont été améliorées à plusieurs reprise.<br/> Dans cet exposé je vais présenter mes trois articles sur le sujet. Ces articles portent sur : 1) Les meilleures attaques connues 2) Les preuves de sécurités en admettant un résultat de combinatoire 3) La preuve du résultat de combinatoire que nous utilisons en 2). La conclusion principale est : a) Qu'un schéma de Feistel aléatoire en 5 tours est indistinguable d'une permutation aléatoire sur 2n bits tant que le nombres de messages choisis est petit devant 2^n. (Au lieu de 2^(n/2) pour 4 tours et Luby et Rackoff). b) Que néanmoins on recommande de prendre au minimum 6 tours car à partir de 6 tours il semble (c'est non prouvé) que le nombre de calculs à faire pour distinguer est en 2^2n, alors que pour 5 tours il est en 2^n. (Au lieu de 2^(n/2) pour 4 tours).
Next sessions
-
Predicting Module-Lattice Reduction
Speaker : Paola de Perthuis - CWI
Is module-lattice reduction better than unstructured lattice reduction? This question was highlighted as `Q8' in the Kyber NIST standardization submission (Avanzi et al., 2021), as potentially affecting the concrete security of Kyber and other module-lattice-based schemes. Foundational works on module-lattice reduction (Lee, Pellet-Mary, Stehlé, and Wallet, ASIACRYPT 2019; Mukherjee and Stephens[…]-
Cryptography
-
-
Attacking the Supersingular Isogeny Problem: From the Delfs–Galbraith algorithm to oriented graphs
Speaker : Arthur Herlédan Le Merdy - COSIC, KU Leuven
The threat of quantum computers motivates the introduction of new hard problems for cryptography.One promising candidate is the Isogeny problem: given two elliptic curves, compute a “nice’’ map between them, called an isogeny.In this talk, we study classical attacks on this problem, specialised to supersingular elliptic curves, on which the security of current isogeny-based cryptography relies. In[…]-
Cryptography
-