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.
707 résultats
-
-
Séminaire
-
Cryptographie
On the security of quantum cryptographic keys
Orateur : Robert Koenig - Cambridge University
The security of quantum key distribution protocols is often defined in terms of the information an adversary obtains by measuring his system. Such definitions are fundamentally flawed because of a locking property of the accessible information: Giving the adversary a single bit of information may increase the accessible information by more than one bit. We give examples of keys that are not[…] -
-
-
Séminaire
-
Cryptographie
Résistance des fonctions de hachage itérées à l'attaque par boomerang
Orateur : Antoine Joux - DGA & Université de Versaille
Les fonctions cryptographiques les plus répandues pour hacher des données de grandes tailles sont architecturées autour d'une fonction de compression dont le design possède de nombreux points communs avec celui des fonctions de chiffrement par blocs. Il est donc naturel d'étudier comment se généralisent les attaques connues pour le chiffrement au cas du hachage. Dans cet exposé, nous mettons ainsi[…] -
-
-
Séminaire
-
Cryptographie
Relation of paring inversion
Orateur : Takakazu Satoh - Tokyo Institute of Technology
E.Verheul proved that existence of a pairing inversion and a distortion map implies that the computational Diffie-Hellman problem is feasible. Recently some other formulations of a pairing inversion are proposed. We study their relations. -
-
-
Séminaire
-
Cryptographie
Résultants, constructions et applications
Orateur : Bernard Mourrain - INRIA
Les calculs de résultants apparaissent dans beaucoup de problèmes de la géométrie algébrique effective. Ils fournissent une méthode pour projeter une situation en dimension plus petite ainsi que des techniques de remontées. Après un rappel de différentes définitions et constructions de résultants, nous illustrerons ces méthodes sur quelques problèmes. Nous nous intéresserons plus particulièrement[…] -
-
-
Séminaire
-
Cryptographie
Analyse automatique de protocoles de sécurité
Orateur : Michael Rusinowitch - LORIA
Nous présentons une méthode pour automatiser l'analyse des protocoles cryptographiques à partir de leurs descriptions sous forme de règles d'envoi de messages. Le problème de la détection d'attaque dans un environnement hostile se ramène à la résolution de contraintes sur un espace de messages. La résolution de ces contraintes implantée dans le logiciel issu du projet européen AVISPA est[…] -
-
-
Séminaire
-
Cryptographie
Non-linéarité asymptotique des fonctions booléennes
Orateur : François Rodier - Institut mathématique de Luminy
Les fonctions booléennes sur l'espace $F_2^m$ sont non seulement importantes dans la théorie de codes correcteurs d'erreurs, mais également en cryptographie. Dans ces deux cas, la non-linéarité de ces fonctions est un concept essentiel. Carlet, et Olejar et Stanek ont donné une borne inférieure asymptotique pour la non-linéarité de la plupart d'entre elles. Dans cet exposé, j'améliore cette borne[…] -