norway
books

Research


I am currently working on symmetric cryptography, and more precisely, my main research interest is the cryptanalysis of arithmetization-friendly symmetric primitives. These new primitives are particularly innovative since they use non-linear functions whose algebraic representation remains very simple on a large finite field. It is therefore not excluded that the implementation constraints that have governed their design have introduced some security flaws.

This is why, during the first year of my PhD, I have especially focused on the study of the algebraic degree of one of these constructions: the block cipher MiMC. In addition to this mathematical analysis, I've also been interested in practical attacks on other primitives like Rescue or Poseidon. Then, I have joined the designer's side in creating Anemoi: our new family of hash functions that exploit the link between arithmetization-orientation and CCZ-equivalence.


Publications

Journals
  • On the Algebraic Degree of Iterated Power Functions - Designs, Codes and Cryptography, 2022
    Clémence Bouvier, Anne Canteaut and Léo Perrin
    [abstract] [Springer] [ePrint] [extended-abstract-WCC]

  • Algebraic Attacks against Some Arithmetization-Oriented Primitives - IACR Transactions on Symmetric Cryptology, 2022(3)
    Augustin Bariant, Clémence Bouvier, Gaëtan Leurent and Léo Perrin
    [abstract] [ToSC]
Preprints
  • New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: Anemoi Permutations and Jive Compression Mode - Preprint
    Clémence Bouvier, Pierre Briaud, Pyrros Chaidos, Léo Perrin, Robin Salen, Vesselin Velichkov and Danny Willems
    [abstract] [ePrint] [GitHub] [webpage]

  • Practical Algebraic Attacks against some Arithmetization-oriented Hash Functions - Report
    Augustin Bariant, Clémence Bouvier, Gaëtan Leurent and Léo Perrin
    [abstract] [HAL-Inria]
Memoir
  • Analyse de la sécurité de primitives symétriques dédiées à diverses techniques de preuves - Master thesis
    Clémence Bouvier
    [HAL-Inria]

Talks

Workshops and Conferences
FSE 2023 - Algebraic Attacks against Some Arithmetization-Oriented Primitives.
Kobe, Japan, March 23rd, 2023

ZKProof5 - Anemoi and Jive: New Arithmetization-Oriented tools for Plonk-based applications.
Tel Aviv, Israel, November 16th, 2022

CrossFyre 2022 - A New Approach for Arithmetization-Oriented Symmetric Primitives
Passau, Germany, October 7th, 2022

Journées C2 2022 - On the Algebraic Degree of Iterated Power Functions
Hendaye, France, April 11th, 2022

WCC 2022 - On the Algebraic Degree of Iterated Power Functions
Virtual (Rostock, Germany), March 7th, 2022

Seminars
MDCC Seminar (Paris 8) - Arithmetization-Oriented primitives: A need for mathematical tools.
Paris, France, October 20th, 2022

IAIK Crypto Seminar - Backstages of Anemoi: A new approach to ZK-friendliness.
Graz, Austria, August 29th, 2022

LAREMA Seminar - New uses in Symmetric Cryptography: An equation between Practical needs and Mathematical concepts
Angers, France, June 23rd, 2022

Rennes Crypto Seminar - New uses in Symmetric Cryptography: from Cryptanalysis to Designing
Rennes, France, May 20th, 2022

COSMIQ Seminar - Algebraic properties of the MiMC block cipher
Virtual (Inria, Paris, France), December 16th, 2020

Rump Sessions
FSE 2022 - Auld Alliance is back
Athens, Greece, March 23rd, 2022

Eurocrypt 2021 - Let's play music with MiMC
Zagreb, Croatia, October 19th, 2021

Defense
Master defense - Analyse de la sécurité de primitives symétriques dédiées à diverses techniques de preuves
Rennes, France, September 2nd, 2020