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.
665 résultats
-
-
Séminaire
-
Cryptographie
L'inférence logique peut-elle aider à la cryptanalyse ?
Orateur : Gilles Dequen - Université de Picardie
Le problème SAT est un des piliers de l'informatique théorique et de la NP-Complétude. Sa résolution pratique a connu un réel essor ces dernières années. Les contributions en ce sens sont multiples et touchent un certain nombre de champs d'application. Les tentatives d'affaiblissements des primitives cryptographiques en font partie. Cet exposé rappellera les fondements du problème SAT, les[…] -
-
-
Séminaire
-
Cryptographie
Implémentation d'un système cryptographique à base de
Orateur : Sébastien Canard - Orange Labs
Dans cet exposé, nous considérons un protocole cryptographique faisant appel au calcul de couplages. Notre objectif est de regarder toutes les techniques qui existent lorsque ce protocole doit être implémenté dans un environnement restreint tel qu'une carte à puce ou un téléphone mobile.<br/> Nous verrons dans un premier temps les benchmarks actuels pour une implémentation d'un couplage sur ces[…] -
-
-
Séminaire
-
Cryptographie
Calcul du groupe de classes et du groupe des unités de corps de
Orateur : Jean-François Biasse - Calgary University
Depuis les travaux de Hafner-MacCurley et Buchmann, le calcul du groupe de classes et d'unités d'un corps de nombres est connu comme étant possible en temps sous-exponentiel sous GRH pour les classes de corps de degré fixé.<br/> Dans cet exposé, nous montrerons qu'il est possible d'étendre ces résultats aux corps de nombres de degré tendant vers l'infini. Nous envisagerons des applications à des[…] -
-
-
Séminaire
-
Cryptographie
Design and Analysis of Opaque Signatures
Orateur : Laila El Aimani - Technicolor
Digital signatures were introduced to guarantee the authenticity and integrity of the underlying messages. However, and in situations where the signed data is commercially or personally sensitive, the universal verification of digital signatures is undesirable, and needs to be limited or controlled. Therefore, mechanisms which share most properties with digital signatures except the universal[…] -
-
-
Séminaire
-
Cryptographie
Explicit isogenies of low degree
Orateur : Kiminori Tsukazaki - University of Warwick
There are several algorithms for computing isogenies between elliptic curves, and one of them is Elkies' method using the modular curve. Motivated by that, we will look at an algebraic approach to explicitly compute isogenies of degree p for certain small primes p between elliptic curves, by using the modular curve and 'generic kernel polynomials'. -
-
-
Séminaire
-
Cryptographie
Key Recovery Attacks on 3-round Even-Mansour
Orateur : Itai Dinur - ENS
The Even-Mansour (EM) encryption scheme received a lot of attention in the last couple of years due to its exceptional simplicity and tight security proofs. The original $1$-round construction was naturally generalized into $r$-round structures with one key, two alternating keys, and completely independent keys.<br/> In this talk I will describe the first key recovery attack on the one-key 3-round[…] -