Luk Bettale

Research

PhD subject: Algebraic cryptanalysis: tools and applications.
I work on modeling cryptographic schemes with algebraic systems to solve them with efficient tools like Gröbner bases.
Keywords: Algebraic cryptanalysis, Gröbner bases, cryptography, computer algebra.

Publications

PhD thesis

• Cryptanalyse algébrique : outils et applications. UPMC 2011. [pdf, slides]

Articles in Journals

• [BFP12] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Cryptanalysis of HFE, multi-HFE and variants for odd and even characteristic. In Designs, Codes and Cryptography. [pdf, bib]
• [BFP09] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Hybrid approach for solving multivariate systems over finite fields. In Journal of Mathematical Cryptology volume 3 (issue 3). [pdf, bib]

International proceedings with commitee

• [Bet12] Luk Bettale. Secure Simultaneous SBoxes Implementation with Arithmetically Masked Input. In CARDIS 2012: Proceedings of the Eleventh Smart Card Research and Advanced Application Conference. Springer, 2012. [pdf, bib]
• [BFP12b] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Solving Polynomial Systems over Finite Fields: Improved Analysis of the Hybrid Approach. In ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation. ACM, 2012. [pdf, bib]
• [BFP11] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Cryptanalysis of Multivariate and Odd-Characteristic HFE Variants. In Public Key Cryptography -- PKC 2011, volume 6571 of Lecture Notes in Computer Science. Springer, 2011. [pdf, bib]
• [BFP10] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Hybrid approach: a tool for multivariate cryptography. In Proceedings of the ECRYPT Workshop on Tools for Cryptanalysis 2010. ECRYPT II, 2010. [pdf, bib]
• [BFP08b] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Security analysis of multivariate polynomials for hashing. In Information Security and Cryptology -- INSCRYPT 2008, volume 5487 of Lecture Notes in Computer Science. Springer, 2008. [pdf, bib]
• [BFP08] Luk Bettale, Jean-Charles Faugère, and Ludovic Perret. Cryptanalysis of the TRMS cryptosystem of PKC 2005. In Progress in Cryptology - AfricaCrypt 2008, volume 5023 of Lecture Notes in Computer Science. Springer, 2008. [pdf, bib]

Talks

• Cryptanalysis of Multivariate and Odd-Characteristic HFE Variants.
  In Public Key Cryptography 2011 (PKC 2011) Taormina, Italy 2011. [slides]
  In Séminaire Salsa LIP6, Université Paris 6. [slides]
• Hybrid Approach : a Tool for Multivariate Cryptography.
  In Workshop on Tools for Cryptanalysis (Tools2010) Royal Holloway University of Lodon 2010. [slides]
• Solving multivariate polynomial systems over finite fields : Hybrid approach.
  In Journées Nationales du Calcul Formel (JNCF 2010) CIRM, Luminy 2010. [slides]
• Algebraic cryptanalysis - Solving multivariate polynomial systems over finite fields.
  In Séminaire Combinatoire et Algorithmes LITIS, Université de Rouen 2009. [slides]
• Hybrid approach for solving multivariate polynomial systems over big finite fields.
  In Journées Codage et Cryptographie 2009 (C2) Fréjus 2009. [slides]
• Security analysis of multivariate polynomials for hashing.
  In Information Security and Cryptology (INSCRYPT2008) Beijing, China 2008. [slides]
• Analyse algébrique en cryptographie.
  In Journée des doctorants LIP6/LTCI/EDITE, Paris 2008. [slides]
• Attaques algébriques sur des systèmes sous-déterminés issus de la cryptographie.
  In Séminaire Cryptographie, Codes et Algorithmique (CCA) ENSTA/UMA, Paris 2008. [slides]

Master's thesis

• Cryptanalyse algébrique de fonctions de hachage. MPRI 2008. [pdf, slides]

Teaching

I was "moniteur" at "Université Pierre et Marie Curie" (UPMC), Paris 6 (UFR 919).

2010/2011

• LI314 : Programmation par objets (L3) - TD/TP 42h
• LI221 : Machine et représentation (L2) - TP 14h

2009/2010

• LI218 : Initiation à l'automatisation des tâches (L2) - TD/TP 47.5h
• LI217 : Calcul scientifique (L2) - TP 28h

2008/2009

• LI362 : Environnement de Développement (L3) - TD/TP 43h
• LI114 : Initiation à l'informatique pour scientifiques (L1) - TP 21h

Software

• A magma mode for GNU emacs.
• A MAGMA package to compute the complexity of the hybrid approach [pdf, bib] as well as detailed informations.
• A software, anf2cnf, to convert a boolean system of equations in algebraic normal form (ANF) to a conjonctive normal form (CNF).
• A software framework AlPAtH (Algebraic Preimage Attack on Hash functions) to run algebraic attacks on hash functions.
• Implementation of the attack on (multi-)HFE described in [pdf, bib] (under construction).

Miscellaneous

• My PGP public key.
• My beamer theme (used for this presentation for example).