David BAELDE– ENS Rennes and IRISA
David Baelde is a full professor in the computer science department of ENS Rennes, doing research at IRISA as part of the SPICY team. Recently, he was assistant professor at ENS Saclay and LMF. Nowadays, his research focuses on formal verification for cryptographic protocols, but he has been active in various areas of proof theory and formal methods.
Guillaume BONFANTE — Université de Lorraine, CNRS, Inria, LORIA
Guillaume Bonfante is assistant-professor at Ecole des Mines where he is in charge of a master program in cyber-security. His research domain is malware, the problem of their detection and reverse-engineering. He is an inventor of “morphological analysis”, a method dedicated to malware analysis.
Véronique CORTIER — Université de Lorraine, CNRS, Inria, LORIA
Véronique Cortier is CNRS research director at Loria (Nancy, France). In 2003, she received her Ph.D. degree in Computer Science from the École Normale Supérieure de Cachan, from which she graduated. Her research focuses on formal verification of security protocols, in particular e-voting, using formal techniques or provable security.
She is editor in chief of JCS and editorial member of TOPS, member of the steering committee of Esorics. In 2010, she was awarded an ERC starting grant. She received the silver CNRS medal as well as the INRIA – Académie des Sciences young researcher award. She co-authored a book on electronic voting for the general audience (Odile Jacob, 2022).
Benjamin GRÉGOIRE — Inria Sophia-Antipolis
Benjamin Grégoire is a researcher in the STAMP team at Inria Sophia-Antipolis. His work deals with compilers, formal proofs, certification of cryptographic algorithms, proof assistants, type theory and proof by reflexion. He is a contributor to the Coq and EasyCrypt proof assistants and to the Jasmin ecosystem.
Adrien KOUTSOS — Inria Paris
Adrien Koutsos is a researcher in the Prosecco team at Inria Paris. He is interested in the application of formal methods, automated deduction and static analysis in security, in particular for cryptographic protocols.
Vincent LAPORTE — Université de Lorraine, CNRS, Inria, LORIA
Vincent Laporte is a researcher in the PESTO team at Inria Nancy. His research interests include compilation, static analysis, formal methods,and the verification of low-level programs. He is a contributor to the Verasco static analyzer and the Jasmin ecosystem.
Gaëtan LEURENT — Inria Paris
Gaëtan Leurent is a researcher in symmetric cryptography in the COSMIQ team at Inria Paris. He enjoys working on cryptanalysis of symmetric primitives and modes of operation, in particular when cryptographic attacks have a concrete impact on real-world systems.
Clémentine MAURICE — Univ Lille, CNRS, Inria
Clémentine Maurice is a full-time CNRS researcher (“Chargée de Recherche”) in the Spirals team at CRIStAL (Lille, France). Prior to that, she obtained her PhD from Telecom ParisTech in 2015, and then worked as a postdoctoral researcher at Graz University of Technology, Austria. Her research interests span software-based side-channel and fault attacks on commodity computers and servers, leveraging micro-architectural components. She also enjoys reverse-engineering processor parts. Beyond academic conferences, she presented her research at venues like the Chaos Communication Congress and BlackHat Europe.
Matthieu RIVAIN — CryptoExperts, France
Matthieu Rivain is a researcher and entrepreneur in cryptography. He has conducted his PhD study at the University of Luxembourg between 2006 and 2009 while being a cryptography engineer at Oberthur (now Idemia). In 2010, Matthieu joined CryptoExperts, a young technology and service company in cryptography, which he today leads as CEO. Matthieu’s research interests cover several aspects of applied cryptography such as secure cryptographic implementations, side-channel attacks, elliptic-curve cryptography, white-box cryptography, and more recently zero-knowledge proofs. Matthieu has been an active member of IACR since 2007, and in particular of the CHES conference, which he co-organised in 2015 (as general co-chair) and in 2018 (as program co-chair).
Andreas ZELLER — CISPA and Saarland University
Andreas Zeller is Faculty at the CISPA Helmholtz Center for Information Security, and professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. His research concerns the analysis of large software systems and their development process. In 2010, Zeller was inducted as Fellow of the ACM for his contributions to automated debugging and mining software archives, for which he also was awarded 10-year impact awards from ACM SIGSOFT and ICSE. In 2011, he received an ERC Advanced Grant, Europe’s highest and most prestigious individual research grant, for work on specification mining and test case generation. In 2013, Zeller co-founded Testfabrik AG, a start-up on automatic testing of Web applications, where he chairs the supervisory board. In 2018, he received the highest research award of ACM SIGSOFT, the Outstanding Research Award.
