Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
702 results
-
-
Seminar
-
Cryptography
On the (In)Security of IPsec in MAC-then-Encrypt Configurations.
Speaker : Jean Paul Degabriele - Royal Holloway, University of London
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good for supporting different security requirements but is potentially bad for security. We demonstrate the reality of this by describing efficient, plaintext-recovering attacks against all configurations of IPsec in which[…] -
-
-
Seminar
-
Cryptography
Logarithmes discrets dans les corps finis. Application en caractéristique "moyenne".
Speaker : Antoine Joux - UVSQ
Cet exposé commencera par une introduction aux algorithmes génériques de calcul de logarithmes discrets. Ensuite, nous nous intéresserons aux algorithmes de calcul d'index dans le cas le plus simple : celui de la petite ou moyenne caractéristique. Après une présentation des algorithmes précédemment connus, nous montrerons comment une transformation simple de ces algorithmes permet un amélioration[…] -
-
-
Seminar
-
Cryptography
Un algorithme de résolution des équations quadratiques
Speaker : Pierre Castel - Université de Caen
Soit Q une forme quadratique de dimension 5. Le but de cet algorithme est de trouver un vecteur isotrope pour la forme Q. Des algorithmes existent déjà pour résoudre ce type d'équation, cependant la première étape de ces algorithmes consiste à factoriser le déterminant de Q ce qui nuit considérablement à leur efficacité. Dans cet exposé, je proposerai un nouvel algorithme ne factorisant pas le[…] -
-
-
Seminar
-
Cryptography
La fin des attaques DPA ? Masquage et Désynchronisation : La combinaison gagnante
Speaker : Julien Doget - Oberthur
L'analyse différentielle de la consommation (DPA) est une puissante attaque, permettant de récupérer une clé cryptographique, utilisée dans les systèmes embarqués. Cette attaque est particulièrement efficace sur les algorithmes de chiffrements par blocs. Pour une implémentation logicielle, deux techniques principales sont généralement appliquées pour la contrecarrer : le masquage et la[…] -
-
-
Seminar
-
Cryptography
Preuve d'indifférentiabilité avec distingueurs
Speaker : Anne Canteaut (deuxième exposé) - INRIA
(travail commun avec E. Bresson, T. Fuhr, T. Icart, M. Naya-Plasencia, P. Paillier, J-R. Reinhard, M. Videau)<br/> Le principe d'une preuve d'indifférentiabilité est de montrer qu'une fonction de hachage construite selon un mode opératoire donné et utilisant une fonction de compression idéale se comporte comme un oracle aléatoire. Il est donc naturel d'en conclure que l'existence d'un distingueur[…] -
-
-
Seminar
-
Cryptography
Systèmes bilinéaires et déterminantiels : algorithmes, complexité et
Speaker : Pierre-Jean Spaenlehauer - LIP6
Dans cet exposé, nous étudions des méthodes de résolution de deux types de systèmes polynomiaux structurés : les systèmes bilinéaires et déterminantiels. L'objectif principal est d'étudier les propriétés algébriques de ces systèmes pour en accélérer la résolution et pour borner la complexité des algorithmes de calcul de bases de Gröbner. Ceci passe par l'obtention de nouvelles bornes fines sur la[…] -