Charlotte Lefevre

I am a PhD student in the Digital Security Group at Radboud University Nijmegen since September 2021, under the supervision of Bart Mennink and with Joan Daemen as promotor. During my PhD, I had the opportunity to complete a 6-month internship at CSEM, under the supervision of Damian Vizár. Before that, I completed my Master's thesis at the University of Grenoble under the supervision of Pierre Karpman.

Most of my current research focuses on the provable security of symmetric cryptographic schemes, particularly permutation-based ones.

Publications

You can find below a list of peer-reviewed publications. You can also find them on Google Scholar or DBLP.

To Pad or Not to Pad? Padding-Free Arithmetization-Oriented Sponges Mario Marhuenda Beltrán, Charlotte Lefevre, Bart Mennink IACR Transactions on Symmetric Cryptology, 2025(1), pp. 97-137 (2025)
SoK: Security of the Ascon Modes Charlotte Lefevre, Bart Mennink IACR Transactions on Symmetric Cryptology, 2025(1), pp. 138-210 (2025)
Permutation-Based Hash Chains with Application to Password Hashing Charlotte Lefevre, Bart Mennink IACR Transactions on Symmetric Cryptology 2024(4), pp. 249-286 (2024)
Permutation-Based Hashing Beyond the Birthday Bound Charlotte Lefevre, Bart Mennink IACR Transactions on Symmetric Cryptology 2024(1), pp. 71-113 (2024)
Generic Security of the Ascon Mode: On the Power of Key Blinding Charlotte Lefevre, Bart Mennink Selected Areas in Cryptography, SAC 2024. To appear (2024) (eprint)
Indifferentiability of the Sponge Construction with a Restricted Number of Message Blocks Charlotte Lefevre IACR Transactions on Symmetric Cryptology 2023(1), pp. 224-243 (2023)
Tight Preimage Resistance of the Sponge Construction Charlotte Lefevre, Bart Mennink CRYPTO 2022 (IV). LNCS, vol. 13510, pp. 185-204. Springer (2022)
Time-memory tradeoffs for large-weight syndrome decoding in ternary codes Pierre Karpman, Charlotte Lefevre PKC 2022. LNCS, vol. 13177. pp. 82-111. Springer (2022)

Teaching assistant in Radboud University for the following bachelor courses:

External reviewer for:

charlotte.lefevre@ru.nl

Mercator 1
Toernooiveld 212
6525 EC Nijmegen, The Netherlands