627 results
-
Calcul du Groupe de Galois
Speaker : Guénael Renault - LIP6
Lors de son édification, la théorie de Galois a été établie de manière constructive. Même si la méthode de base pour le calcul du groupe de Galois était déjà connue des mathématiciens de la fin du 19ème siècle (par exemple exposée dans l'ouvrage de Jordan), il faut attendre les techniques de la théorie algorithmique des nombres pour avoir des algorithmes efficaces permettant un tel calcul.<br/>[…] -
Le problème de la reconnaissance d'un point de vue théorie de l'information
Speaker : Mathieu Cluzeau - INRIA-Rocquencourt
Dans le cadre de l'étude de canaux dans un contexte non-coopératif, nous nous intéressons à la reconstruction des codes correcteurs d'erreurs. Dans ce contexte, un attaquant dispose d'une séquence interceptée provenant d'une communication codée et souhaite retrouver quel code correcteur d'erreur a été utilisé lors de la transmission. D'un point de vue de la théorie de l'information, nous nous[…] -
Des évolutions récentes dans la résolution du problème SAT
Speaker : Lakhdar Sais - CRIL Lens
Le problème NP-complet classique de la satisfiabilité d'une formule Booléenne mise sous forme normale conjonctive a connu un intérêt croissant non seulement dans la communauté d'informatique théorique, mais aussi dans des domaines d'applications divers ou une solution pratique à ce problème permet des avancées significatives. Depuis les premiers développements de la procédure de base proposée par[…] -
Anneaux d'endomorphismes de courbes elliptiques en cryptographie.
Speaker : Gaetan Bisson - LORIA
En cryptographie asymétrique, les courbes elliptiques fournissent des alternatives très compétitives aux systèmes à base de corps finis, notamment RSA. Depuis, l'introduction récente des couplages dans les protocoles, elles ne sont plus seulement compétitives mais novatrices dans la mesure où elles offrent maintenant des fonctionnalités cryptographiques uniques. La cryptographie à base de[…] -
Breaking the F-FCSR-H stream cipher in real time
Speaker : Thomas Johanson - Lund University
The F-FCSR stream cipher family has been presented a few years ago. Apart from some flaws in the initial propositions, corrected in a later stage, there are no known weaknesses of the core of these algorithms. The hardware oriented version, called FCSR-H, is one of the ciphers selected for the eSTREAM portfolio. In this paper we present a new and severe cryptanalytic attack on the F-FCSR stream[…] -
Isogenies and Discrete Logarithms in Jacobians of genus 3 curves
Speaker : Ben Smith - Ecole Polytechnique
Until recently, the best known algorithm for solving a Discrete Logarithm Problem (DLP) in the Jacobian of a hyperelliptic genus 3 curve ran in time \softO(q^(4/3)), while the best known algorithm for non-hyperelliptic genus 3 curves ran in time \softO(q). In this talk, we describe an efficient algorithm for moving instances of the DLP from a hyperelliptic genus 3 Jacobian to a non-hyperelliptic[…]