HUOT Louise

PhD graduated
Team : PolSys
Departure date : 08/31/2014
Supervision : Jean-Charles FAUGÈRE
Co-supervision : RENAULT Guénaël, GAUDRY Pierrick

Polynomial systems solving and elliptic curve cryptography

Since the last decade, attacks on the elliptic curve discrete logarithm problem (ECDLP) which requires to solve polynomial systems have been quite successful. This thesis takes place in this context and the contributions are twofold.
On the one hand, we present new tools for solving polynomial systems by using Gröbner bases. First, we investigate polynomial systems with symmetries. We show that solving such a system is closely related to solving quasi-homogeneous systems. We thus propose new complexity bounds for solving systems with symmetries. Then, we study the bottleneck of polynomial systems solving: the change of ordering for Gröbner bases. The usual complexity of such algorithms is cubic in the number of solutions and dominates the overall complexity of polynomial systems solving. We propose for the first time change of ordering algorithms with sub-cubic complexity in the number of solutions.
On the other hand, we investigate the index calculus attack of Gaudry to solve the elliptic curve discrete logarithm problem. We highlight some families of elliptic curves that admit particular symmetries. These symmetries imply an exponential gain in the complexity of solving the ECDLP. As a consequence, we obtain new security parameters for some instances of the ECDLP. One of the main steps of this attack requires to compute Semaev summation polynomials. The symmetries of binary elliptic curves allow us to propose a new algorithm based on evaluation-interpolation to compute their summation polynomials. Equipped with this algorithm we establish a new record for the computation of these polynomials.
Defence : 12/13/2013 - 14h - Site Jussieu 25-26/105
Jury members :
M. Reynald Lercier (Chercheur associé IRMAR, Ingénieur DGA MI) [Rapporteur]
M. Éric Schost (Associate Professor University of Western Ontario) [Rapporteur]
M. Jean-Charles Faugère (DR INRIA Paris-Rocquencourt)
M. Pierrick Gaudry (DR CNRS)
M. Antoine Joux (Titulaire de la Chaire de Cryptologie de la fondation partenariale de l'UPMC)
M. Guénaël Renault (Maître de Conférences UPMC)
M. Mohab Safey El Din (Professeur UPMC)
M. Benjamin Smith (CR INRIA Saclay-Île-de-France)

2012-2014 Publications

 Mentions légales
Site map |