Aurélien Boeuf
Ph.D Student at Inria Paris
ABOUT ME
Doctoral student at Inria Paris in the project-team COSMIQ since October 2022, under the supervision of Léo Perrin and Anne Canteaut. I work in Symmetric Cryptography. The current title of my thesis is: "On Arithmetization-Oriented Hash Funtions". I am studying primitives such as Rescue, Poseidon , Anemoi, Griffin, and Arion.
CONTACT
- aurelien [dot] boeuf [at] inria [dot] fr
-
Address:
Centre de recherche Inria de Paris
Équipe-projet COSMIQ
Office C301
48 rue Barrault
CS 61534
75647 Paris Cedex 13
France
EDUCATION
- 2022-2025: Ph.D in Cryptography at Inria Paris.
- 2021-2022: M2 of the Parisian Master of Research in Computer Science (MPRI) [Double Degree].
- 2019-2022: M.Sc. in Engineering at Télécom-Paris (IPParis).
- 2017-2019: Preparatory School in Mathematics and Physics at Lycée Montaigne in Bordeaux.
TEACHING
- 2022-2023, S1: Functional Programming tutorials for second-year Bachelor's students at Sorbonne Université (LU2IN019).
- 2024-2025, S1: Advanced C labs for second-year Bachelor's students at Sorbonne Université (LU2IN018).
- 2024-2025, S1: Supplementary Mathematics tutorials for first-years Master's students at Université Paris-Saclay (Versailles).
- 2024-2025, S2: Secure Web Applications labs for first-years Master's students at Université Paris-Saclay (Versailles).
- 2025: Boolean Functions and Arithmetization-Oriented Symmetric Crypto at the FSE 2025 Spring School [Website].
INVITED TALKS/SEMINARS
- Simula UiB Seminar: Propagation of Subspaces in Primitives with Monomial Sboxes: Applications to Rescue and Variants of the AES, Simula UiB Department of Cryptography, Bergen, Norway, June 2023. [Slides]
- LIP6 ALMASTY Seminar: Propagation of Subspaces in Primitives with Monomial Sboxes: Applications to Rescue and Variants of the AES , Sorbonne Université, Paris, France, March 2024. [Website] [Slides]
- COSMIQ Seminar: The Algebraic Freelunch: Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives : Inria Paris, France, May 2024. [Slides]
- Versailles CRYPTO Seminar: Solving Polynomial Systems with Resultants to break Zero-Knowledge-Friendly Hash Functions : Université Versailles Saint-Quentin-en-Yvelines, France, October 2025. [Website] [Slides]
PUBLICATIONS
- Aurélien Boeuf, Anne Canteaut and Léo Perrin. Propagation of Subspaces in Primitives with Monomial Sboxes: Applications to Rescue and Variants of the AES. IACR Transactions on Symmetric Cryptology, 2023(4), 270–298. *Best paper award* [Go to tosc.iacr.org] [Slides]
- Augustin Bariant, Aurélien Boeuf, Axel Lemoine, Irati Manterola Ayala, Morten Øygarden, Léo Perrin and Håvard Raddum. The Algebraic FreeLunch: Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives. Crypto 2024. [Go to eprint.iacr.org] [Slides 1] [Slides 2]
- Augustin Bariant, Aurélien Boeuf, Pierre Briaud, Maël Hostettler, Morten Øygarden and Håvard Raddum. Improved Resultant Attack against Arithmetization-Oriented Primitives. Crypto 2025. [Go to eprint.iacr.org]
PREPRINTS
- Antoine Bak, Augustin Bariant, Aurélien Boeuf, Pierre Briaud, Morten Øygarden and Atharva Phanse. The Algebraic CheapLunch: Extending FreeLunch Attacks on Arithmetization-Oriented Primitives Beyond CICO-1. [Go to eprint.iacr.org]
- Aurélien Boeuf and Léo Perrin. ALFOMs and the Moirai: Quantifying the Performance/Security Tradeoff for ZK-friendly Hash Functions. [Go to eprint.iacr.org]