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.
658 résultats
-
-
Séminaire
-
Cryptographie
La sécurité des schémas de Feistel aléatoires
Orateur : Jacques Patarin - Université de Versaille
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é[…] -
-
-
Séminaire
-
Cryptographie
Conditional Reactive Simulatability (joint work with Michael
Orateur : Dennis Hofheinz - CWI Amsterdam
Simulatability has established itself as a salient notion for proving the security of multi-party protocols since it entails strong security and compositionality guarantees, which are achieved by universally quantifying over all environmental behaviors of the analyzed protocol. As a consequence, however, protocols that are secure except for certain environmental behaviors are not simulatable, even[…] -
-
-
Séminaire
-
Cryptographie
Relative rigid cohomology and the deformation method for elliptic curves
Orateur : Ralf Gerkmann - Universitat Mainz
By a well-known result of Dwork the zeta functions of the fibers in a one-parameter family of hypersurfaces can be described in terms of p-adic holomorphic functions. This result was used by A. Lauder in order to formulate a deter- ministic algorithm that computes the zeta function of a hypersurface in polynomial time. In this talk we describe a similiar method for elliptic curves which is based[…] -
-
-
Séminaire
-
Cryptographie
Constructing group based provably secure encryption schemes: a
Orateur : Maria Isabel Gonzalez Vasco - Universidad Rey Juan Carlos Madrid
Cryptographic primitives arising from group theory have in the last few years attracted a lot of attention. Unfortunately, up to date most of the existing proposals are still far away from practical applications, not only due to unlucky computational assumptions which later turned out to be invalid. In this talk we address the impact of modern security analysis in the sense of provable security to[…] -
-
-
Séminaire
-
Cryptographie
Quantum complexity of the knapsack problem
Orateur : Alexandre Kazakov
An analogue quantum computer for the solution of the knapsack problem is discussed. Dynamics of some quantum-optical system exhibits explicit parallels with knapsack problem. This fact gives the possibility to propose an quantum algorithm for the knapsack problem and to estimate the quantum complexity of this problem. -
-
-
Séminaire
-
Cryptographie
Propriétés cryptographiques des fonctions booléennes symétriques
Orateur : Marion Videau - INRIA Rocquencourt
Les fonctions booléennes symétriques sont les fonctions dont la valeur ne dépend que du poids du vecteur d'entrée. Ces fonctions peuvent être représentées plus simplement, que ce soit par leur forme algébrique normale ou leur vecteur des valeurs, que des fonctions booléennes générales --- vecteurs de taille (n+1) contre des vecteurs de taille 2^{n} en général. En outre, ces fonctions ont une[…] -