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.
698 résultats
-
-
Séminaire
-
Cryptographie
Efficient Multi-Party Computation with Dispute Control
Orateur : Zuzana Beerliova - ETH Zurich
Secure multi-party computation (MPC) allows a set of $n$ players to securely compute an agreed function of their inputs, even when up to $t$ of the players are under complete adversarial control. We consider secure MPC in the information-theoretic model with broadcast channels (PKI setup) and present an efficient protocol with optimal resilience ($t< n/2$), using a new technique technique called[…] -
-
-
Séminaire
-
Cryptographie
Signatures à vérification contrôlée
Orateur : Fabien Laguillaumie - LIX
Les signatures indéniables ont été introduites par Chaum et van Antwerpen en 1989 pour permettre au signataire de contrôler la vérification d'un signature qu'il a émise. En effet, la propriété de vérification universelle satisfaite par les signatures numériques classiques n'est pas souhaitable dans certaines applications électroniques (licence de logiciel, vote électronique,...). Ainsi, pour[…] -
-
-
Séminaire
-
Cryptographie
Principes et Mises en Oeuvre de la Cryptographie Quantique
Orateur : Philippe Grangier - Laboratoire Charles Fabry de l'Institut d'Optique
Nous présenterons les principes de la cryptographie quantique, qui a pour but de distribuer des clés secrètes dont la confidentialité est garantie par les lois de la physique (relations d'incertitude de Heisenberg, théorème de non-clonage). Nous décrirons ensuite quelques exemples de mise en oeuvre de ces techniques, en présentant une brève revue de l'état de l'art du domaine. -
-
-
Séminaire
-
Cryptographie
Rigid cohomology and point counting on varieties over finite fields
Orateur : Ralf Gerkmann - Universitat Erlangen
n 2001 K. Kedlaya suggested an algorithm to compute the zeta function of a hyperelliptic curve over a finite field of small odd characteristic. The basic idea of his approach is to compute the explicit Frobenius action on the Monsky-Washniter cohomology in dimension one. Later his method was extended by P. Gaudry and N. Guerel to superelliptic curve and by J. Denef and F. Vercauteren to[…] -
-
-
Séminaire
-
Cryptographie
Quand les preuves de sécurité cryptographiques rencontrent la théorie des nombres
Orateur : Jacques Stern - ENS
Dans cet exposé, on présentera la méthodologie des preuves de sécurité dans la conception et l'analyse des algorithmes cryptographiques. On donnera ensuite deux exemples où ces preuves font appel à des résultats de théorie des nombres: le premier relatif au schéma de chiffrement OAEP, dont la preuve de sécurité complète a été achevée dans un travail avec E. Fujisaki, T. Okamoto et D.Pointcheval;[…] -
-
-
Séminaire
-
Cryptographie
Sur le rayon de recouvrement des codes de Reed-Muller binaires
Orateur : Sihem Mesnager - Université Paris VIII équipe MAATICAH
Soit X un alphabet fini (le plus souvent un corps, et en pratique le corps à deux éléments). Le rayon de recouvrement d'un code sur X (un sous-ensemble de X^n muni de la métrique de Hamming) est le plus petit entier r tel que la réunion de toutes les boules de rayon r centrées en les éléments de C recouvre X^n tout entier. En d'autres termes, le rayon de recouvrement mesure la distance maximale[…] -