599 results
-
Étude de l'algorithme XL
Speaker : Gwénolé Ars - IRMAR
L'algorithme XL est un algorithme utilisé en cryptographie pour déterminer une solution d'un système polynômial dans un corps fini. Cet algorithme est assez efficace : il peut en effet résoudre des cryptosystèmes engendrés par des registres filtrés en temps polynômial avec un nombre de couple clair-chiffré polynômial en la taille de la clef.<br/> Il existait auparavant différents[…] -
Quelques résultats sur la cryptanalyse des registres filtrés
Speaker : Sabine Leveiller - Thales
Les systèmes de chiffrement à flot sont couramment utilisés en pratique puisqu'ils permettent un chiffrement rapide des données tout en consommant peu d'énergie. L'objet de cette présentation est d'étudier la cryptanalyse d'un tel système ; plus précisément, nous nous intéresserons au générateur de clé constitué d'un registre à décalage filtré non linéairement par une[…] -
Deformation theory and the computation of zeta functions
Speaker : Alan Lauder - Oxford University
The problem of computing the zeta function of a variety over a finite field has attracted considerable interest in recent years, motivated in part by an application in cryptography. (In less fancy language, the problem is just to compute the number of solutions to a system of polynomial equations over a finite field.) I will discuss a new algorithm for computing zeta functions which is based upon[…] -
Efficient arithmetic on (hyper-)elliptic curves over finite fields
Speaker : Tanja Lange - Ruhr-Universität Bochum
The talk will be concerned with arithmetic on elliptic and hyperelliptic curves. We show how fast the arithmetic can get by clever choices of the coordinates and present special kinds of curves which allow even faster arithmetic using the Frobenius endomorphism. For elliptic curves this has been used to achieve fast arithmetic for the past years. However, so far arithmetic in the ideal class group[…] -
Moments des polynômes de Rudin-Shapiro (en collaboration avec L. Habsieger)
Speaker : Christophe Doche - Université de Bordeaux, projet AREHCC
Les polynômes de Rudin-Shapiro trés utilisés en théorie du signal sont définis par $P_0(z) = 1$, $Q_0(z)=1$ et $P_{n+1}(z) = P_n(z) + z^{2^n}Q_n(z),$ $Q_{n+1}(z) = Q_n(z) - z^{2^n}Q_n(z)$. En 1968, Littlewood a montré que les moments d'ordre 4 des polynômes $P_n(z)$ i.e. $\mathcal{M}_4(P_n)=\int_0^1 |P_n(e^{2i\pi t})|^4\, dt $ satisfaisaient une récurrence linéaire de degré $2$ et en a[…] -
Modes et preuves de sécurité en cryptographie à clef secrète
Speaker : Eliane Jeaulme - DCSSI
Dans cet exposé, nous présenterons les principaux modes de chiffrement et d'authentification en cryptographie à clef secrète. Nous verrons ensuite le principe des preuves de sécurité de ces modes : les hypothèses de sécurité, le mécanisme de preuve et les théorèmes énonçant la sécurité. Nous détaillerons une application de ce principe de preuve sur le mode d'authentification RMAC. Ce[…]