Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
632 results
-
-
Seminar
-
Cryptography
Liens entre méthodes formelles et cryptographie pour la sécurité des protocoles cryptographiques
Speaker : Mathieu Baudet - ENS Cachan
Les méthodes formelles (ou encore logiques) sont désormais capables d'analyser automatiquement la plupart des protocoles cryptographiques. Néanmoins les modèles d'attaquant utilisés reposent tous --sauf rares exceptions-- sur le modèle Needham-Schroeder, qui énumère un nombre fini d'actions possibles pour l'intrus. Les modèles cryptographiques au contraire reposent sur un modèle d'attaquant très[…] -
-
-
Seminar
-
Cryptography
Une classification des fonctions booléennes
Speaker : Jean-Francis Michon - LIFAR-Université de Rouen
A toute fonction booléenne f à n variables on peut associer canoniquement un graphe : son diagramme de décision binaire quasi réduit (qROBDD). Cette technique est utilisée depuis longtemps dans la vérification des circuits. A ce graphe on associe son profil qui est un n+1-uple d'entiers p(f) = (p0,p1,...,pn) (pi est le nombre de sommet à distance i de l'origine du graphe) et une complexité c(f) =[…] -
-
-
Seminar
-
Cryptography
Algorithme probabiliste d'Ajtai, Kumar et Sivakumar de recherche du plus court vecteur dans un réseau
Speaker : Damien Stehlé - INRIA Lorraine - ENS
Nous présenterons l'algorithme d'Ajtai, Kumar et Sivakumar pour résoudre le problème du plus court vecteur d'un réseau Euclidien. Ce problème a été prouvé NP-dur sous des réductions randomisées par Ajtai en 1996. Cet algorithme, présenté à STOC 2001, a une complexité probabiliste $2^O(n)$ en temps et en espace. Il bat donc la précédente borne de complexité ($n^{O(n)}$), qui correspond à l[…] -
-
-
Seminar
-
Cryptography
Utilisation des modules de Drinfeld en cryptographie
Speaker : Xavier-François Roblot - Université Lyon I
Les modules de Drinfeld peuvent être vus comme des analogues en caractéristique positive des courbes elliptiques sur l'anneau des entiers Z et, par réduction, sur un corps fini. Dans cet exposé, je parlerai des analogues pour les modules de Drinfeld des algorithmes de cryptage classiques ainsi que d'une nouvelle méthode de cryptage spécifique aux modules de Drinfeld. Je parlerai aussi des attaques[…] -
-
-
Seminar
-
Cryptography
Autour de l'algorithme LLL flottant
Speaker : Damien Stehlé - LORIA
L'algorithme de Lenstra, Lenstra et Lovasz (LLL) pour réduire les bases de réseaux Euclidiens s'est avéré fort utile dans de nombreux domaines comme par exemple la cryptanalyse et la détection de relations linéaires entre des nombres réels. Etant donnée une base à coefficients entiers d'un réseau de dimension d avec des vecteurs de normes plus petites que B, LLL calcule une base LLL-réduite en[…] -
-
-
Seminar
-
Cryptography
Construction de codes MDS
Speaker : Jérome Lacan - Université de Toulouse I
Les codes MDS (Maximum-Distance Separable) sont utilisés dans de nombreuses applications. En particulier, leur propriété de diffusion est utilisée par plusieurs algorithmes de chiffrement symétriques par blocs.<br/> Dans cet exposé, nous rappellerons tout d'abord les méthodes de construction classiques des codes MDS à partir de matrices particulières. Nous présenterons ensuite une construction[…] -