The consortium
We will meet the ambitious goals of our project by doing top-quality research with five principal partners, each of these contributing their expertise in various domains.
XLIM -- University of Limoges
The coordinating partner or our project is team CRYPTIS of the XLIM research lab in Limoges. The scientific coordinator of the MobiS5 project is Cristina Onete, who is a specialist in provably-secure communications. She is joined in this project by team members Philippe Gaborit (a specialist in post-quantum cryptography and proposer of NIST post-quantum competition winner HQC) and Emmanuel Conchon (whose speciality is real-world security and privacy), as well as by Ph.D. student Walid Abed, working on subversion-resilient privacy-preserving secure-channel establishment.
LIX
Our second partner, LIX Polytechnique, is represented by PI Olivier Blazy, whose areas of expertise range from the design of provably-secure cryptographic primitives and protocols to post-quantum cryptography. He will collaborate principally with Philippe Gaborit on Privacy-preserving communications in the quantum world, and with Cristina Onete on privacy-preserving secure-channel establishment. Ben Smith and Thomas Debris, also members of LIX, will be supporting this partner on post-quantum cryptographic aspects. Joining them is Ph.D. student Lola Baie-Mallordy, whose work will focus on privacy-preserving tools for secure-channel establishment in the quantum world.
LIFO
The scientific leader of this partner for project PRIVA-SIQ is Xavier Bultel, who is an expert in cryptographic primitives for authentication and secure-channel establishment, as well as proxied secure-channel establishment. He is joined in this project by Benjamin Nguyen CNRS GDR Security working group on privacy and a specialist in privacy-enhancing technologies, such as general data protection models, privacy in data management protocols, and anonymization techniques. They are joined by Ph.D. student Khourédia Cissé, who is working on proxied privacy-preserving secure-channel establishment.
LIMOS
At LIMOS, Pascal Lafourcade is a specialist in the use of automated verification towards proving the security of proposed cryptographic primitives. Along with provable security, the formal verification of primitives and protocols forms an essential part of our validation work in PRIVA-SIQ. Pascal Lafourcade is joined by Postdoctoral students Charles-Olivier Anclin and Dhekra Mahmoud, who will contribute to the design and automated verification of privacy-preserving secure-channel establishment in the real world.
CRYSPEN
At CRYSPEN, Karthikeyan Bhargavan is chief research officer and co-founder. Karthikeyan Bhargavan's research on secure channel establishment (including on TLS 1.3 and Messaging Layer Security MLS) have won him an ERC consolidator grant (2015), the Levchin prize for Real-World Cryptography (2016), and the Horizon Impact Award (2019) -- his goal for the last decade has been to obtain code that provides the same degree of provable security and privacy as the cryptographic specifications behind it. The main contribution of CRYSPEN in this project is to render privacy-preserving secure-communications a viable and verified solution for the real world.