Gilles Barthe is a scientific director at MPI-SP and a part-time research professor at the IMDEA Software Institute. His research interests include logic, formal verification, programming languages, security and privacy. His current work focuses on formal approaches for high-assurance cryptographic algorithms and implementations.
Sonia Belaïd is a security expert at CryptoExperts in France. She received her PhD degree in Computer Science from the Ecole Normale Supérieure (ENS) in Paris in 2015 for her thesis on side-channel attacks and countermeasures. Prior to joining CryptoExperts in August 2017, Sonia held engineering positions at Oberthur Technologies (now Idemia) and Thales. Her interests include cryptography, cybersecurity, and also formal methods. In particular, she has contributed to new efficient and formally proven secure countermeasures to thwart side-channel attacks.
Dr. Patrick Longa is a cryptography researcher with the MSR Security and Cryptography group at Microsoft Research, USA. He is co-designer of several cryptographic primitives and protocols including the post-quantum schemes SIKE, qTESLA and FrodoKEM, the high-speed elliptic curve FourQ, and state-of-the-art instantiations of SIDH. He has written several high-performance cryptographic libraries including FourQlib and SIDH, and his research interests mainly involve post-quantum cryptography, elliptic curve cryptography, algorithmic design, and high-performance implementation of cryptographic primitives.