I will defend my PhD entitled

Cryptanalysis and design of symmetric primitives defined over large finite fields (Cryptanalyse et conception de primitives symétriques définies sur de grands corps finis)

on November 27th, 2023 at 2:00pm (Paris time)


If you want to attend the presentation and the drinks afterwards, please fill in the form bellow

https://evento.renater.fr/survey/phd-defense-rcp5toe8

Abstract

English

In recent years, new symmetric cryptographic primitives have been proposed for advanced protocols, like multi-party computation, in combination with a fully homomorphic encryption or in various systems of zero-knowledge proofs. Such protocols are parts of a context marked by the development of cloud and blockchain technologies, and must therefore respond to the growing security concerns of users.
These protocols have put forward the need to minimize the number of multiplications performed by the primitive in large finite fields. Classical symmetric algorithms are then inappropriate in this context and the new cryptographic protocols must be combined with symmetric primitives (encryption or hash function) with particular properties.
While the number of designs defined over large fields, called “arithmetisation-oriented”, is increasing significantly, few cryptanalysis works have been proposed. The first aim of this manuscript is then to contribute to fill this gap, and hence to better understand the specificities of these new objects. We also propose a new vision to design such primitives, covering both aspects of cryptology, the cryptography and the cryptanalysis.

Keywords: symmetric cryptography ★ cryptanalysis ★ arithmetization-oriented primitives ★ Anemoi ★ algebraic degree ★ MiMC

Français

Ces dernières années, de nouvelles primitives de cryptographie symétrique ont été proposées pour être utilisées dans des protocoles avancés comme le calcul multi-partite, en combinaison avec un chiffrement homomorphe ou encore dans divers systèmes de preuve à apport nul de connaissance. De tels protocoles s’inscrivent dans un contexte marqué par le développement du Cloud et des technologies de type Blockchain et doivent ainsi répondre à une préoccupation croissante des utilisateurs en matière de sécurité.
Ces protocoles ont mis en avant le besoin de minimiser le nombre de multiplications effectuées par la primitive dans des corps finis de grande taille. Les algorithmes symétriques classiques sont alors inappropriés dans ce contexte et les nouveaux protocoles cryptographiques doivent être combinés avec des primitives symétriques (chiffrement ou fonction de hachage) ayant des propriétés particulières.
Alors que le nombre de conceptions définies sur de grands corps dites “orientées arithmétisation” augmente de façon considérable, très peu de travaux d’analyse de sécurité ont été proposés jusqu’ici. L’objectif de ce manuscrit est donc en premier lieu de contribuer à combler ce manque pour mieux comprendre les spécificités de ces nouveaux outils. Nous proposons également une nouvelle vision pour concevoir de telles primitives, couvrant ainsi les deux sous-domaines de la cryptologie que sont la cryptographie et la cryptanalyse.

Mots clés : cryptographie symétrique ★ cryptanalyse ★ primitives orientées arithmétisation ★ Anemoi ★ degré algébrique ★ MiMC

The manuscript is available here.

Place

The defense will take place at Inria Paris.

PhD Committee

• Anne Canteaut, Inria Paris, France (Director)
  


• Léo Perrin, Inria Paris, France (Co-director)
  


• Henri Gilbert, ANSSI, France (Reviewer)
  


• Sondre Rønjom, University of Bergen, Norway (Reviewer)
  


• Pierre-Alain Fouque, Université de Rennes, France
  


• Gregor Leander, Ruhr University Bochum, Germany
  


• Willi Meier, FHNW, Windisch, Switzerland
  


• Damien Vergnaud, Sorbonne Université, France