Funded Research Projects


2023-2028 AMAskZONE ERC starting grant (PI) Generation and Verification of Masking Countermeasures Against Side-Channel Attacks
2023-2026 RESQUE bpifrance Post-quantum cryptography
2022-2026 SWAP ANR Sboxes for Symmetric-Key Primitives
2018-2022 VeriSiCC FUI25 (coordinator) Verification of Side-Channel Countermeasures
2017-2020 RISQ PIA, bpifrance Regroupement de l'Industrie français pour la Sécurité post-Quantique
2013-2015 CLE ANR Cryptography from Learning with Errors
2010-2014 PRINCE ANR Proven Resilience against Information leakage in Cryptographic Engineering


Scientific Activities


Steering committee member 2021- CHES
2019-2024 CARDIS

Program chair 2022 CHES with Thomas Eisenbarth
2019 CARDIS with Tim Güneysu

Program area chair 2025 Crypto
2024 Crypto, Communications in Cryptology (CiC journal)
2022 Eurocrypt

Program committee member 2025 Eurocrypt, RWC, Cascade
2024 CHES, Eurocrypt, Asiacrypt
2023 CT-RSA
2022 RWC, Eurocrypt, CCS, Asiacrypt
2021 CHES, Asiacrypt
2020 CHES, COSADE, Asiacrypt, CARDIS, TCC
2019 CHES, COSADE, Asiacrypt
2018 CHES, Asiacrypt, CARDIS
2017 CARDIS


Seminar Organization


22-09-2022 second VeriSiCC seminar with invited talks from worldwide experts on formal verification of side-channel countermeasures
25-09-2019 first VeriSiCC seminar with invited talks from worldwide experts on formal verification of side-channel countermeasures


Students Supervision


Current Noémie Akpaki - PhD 2024-
Victor Normand - PhD 2024-
Nicolas Bon - PhD 2022-

Past Victor Normand - Master Internship 2024
Muaad Tamtam - Master Internship 2024
Abdul Rahman Taleb - PhD 2020-2023
Nicolas Bon - Master Internship 2022
Matthias Trannoy - Master Internship 2021
Mélissa Rossi - PhD 2017-2020
Thibauld Feneuil - Master Internship 2020
Abdul Rahman Taleb - Master Internship 2020
Raphael Wintersdorff - Master Internship 2019
Mélissa Rossi - Master Internship 2016
Alice Duval-Kister - Master Internship 2015
Antoine Darnay - Master Internship 2014

PhD Committees


2024 (invitee) Djedjiga Belhadj at Université de Lorraine. Multi-GAT semi-supervisé pour l'extraction d'informations et son adaptation au chiffrement homomorphe. Defense on March 28th.
2024 (examiner) Lorenzo Casalino at Sorbonne Université. (On) The Impact of the Micro-architecture on Countermeasures against Side-Channel Attacks. Defense on January 30th.
2024 (examiner) Fabrice Lozachmeur at Université Bretagne Sud. Extensions cryptographiques pour processeurs embarqués. Defense on January 23rd.
2023 (supervisor) Abdul Rahman Taleb at Sorbonne Université. Secure and Verified Cryptographic Implementations in the Random Probing Model. Defense on November 7th.
2022 (examiner) Etienne Marcatel at Université Grenoble Alpes. Contribution to Post-Quantum Cryptography. Defense on October 12th.
2022 (reviewer) Maria Chiara Molteni at Università di Milano. On the security of cryptographic circuits: protection against probing attacks and performance improvement of garbled circuits. Report on February 21st.
2021 (examiner) Axel Mathieu-Mahias at Université Paris-Saclay. Securisation of implementations of cryptographic algorithms in the context of embedded systems. Defense on December, 6th.
2021 (examiner) Gabriel Zaid at Université de Lyon. Bridging Deep Learning and Classical Profiled Side-Channel Attacks. Defense on November, 30th.
2020 (supervisor) Mélissa Rossi at ENS. Extended security of lattice-based cryptography. Defense on September, 10th.
2020 (examiner) Lauren De Meyer at KU Leuven. Cryptography in the Presence of Physical Attacks: Design, Implementation and Analysis. Private defense on April, 22nd and public defense on September, 9th.

© 2024 Sonia Belaïd. Tous droits réservés.