Funded Research Projects

2023-2028	AMAskZONE	ERC starting grant (PI)	Generation and Verification of Masking Countermeasures Against Side-Channel Attacks
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-	CARDIS

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

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

Program committee member	2024	CHES, Eurocrypt
	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

Nicolas Bon - PhD 2022-

Past	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

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.