Find Academic Supervisors

Thomas Debris-AlazardView profile

Assistant Professor

• Code-based Cryptography
• Lattice-based Cryptography
• Post-Quantum Cryptography
• +5 more

Thomas Debris-Alazard is a research scientist at Inria within the Grace project-team and a part-time assistant professor at École Polytechnique. His work focuses on code-based and lattice-based cryptography, with significant contributions to post-quantum cryptographic design and analysis. PhD in Code-Based Cryptography, Sorbonne University (2019) His research interests include code-based and lattice-based cryptography, post-quantum security, quantum algorithms, and information theory. He has made foundational contributions to the understanding of decoding problems, learning with errors, and the design of secure cryptographic primitives resistant to quantum attacks. The recent publications highlight a strong focus on the theoretical underpinnings of code-based cryptography, including hardness reductions, decoding algorithms, and the security of post-quantum signature schemes. His work bridges classical and quantum computational models, with an emphasis on provable security and cryptanalysis. Best Paper Award at Asiacrypt 2019 He has advised PhD students Maxime Bombar and Pierre Loisel. He is the principal investigator of the ANR JCJC COLA project and coordinator of the Wave signature scheme for NIST standardization. His teaching at École Polytechnique includes courses on code-based cryptography, information theory, and quantum computing.

Sebastien PillementView profile

Lecturer

• Computer Engineering
• Embedded Systems
• Computer Architecture
• +3 more

Sébastien Pillement is a Lecturer at Polytech'Nantes, the College of Engineering of the University of Nantes, and a member of the ASIC research team within the IETR UMR 6164 laboratory. His career spans over 13 years at the IUT of Lannion (University of Rennes 1) before joining the University of Nantes in 2012. He holds a PhD in Computer Science from the University of Montpellier II (1998) and a Habilitation à Diriger des Recherches (HDR) from the University of Rennes 1 (2010). Current Research Focus: Dynamically Reconfigurable Architectures (DRA), Hardware Security, Fault-Tolerant Embedded Systems, NoC (Network-on-Chip), Design Methodologies. Teaching Areas: Digital Circuits, Computer Architecture, Operating Systems, Real-Time Systems, and Algorithms for Embedded Computing. His research explores flexible and efficient architectures for embedded systems, emphasizing real-time management, reliability, and security. Key article trends include RISC-V processors, neural network acceleration on MPSoC, formal verification of arithmetic circuits, and runtime FPGA scheduling. Collaborations span international institutions like the University of Toronto and CEA, as well as industrial partners such as STMicroelectronics and Thales. PhD Students : Current: Laureline Dubucq (Security & AI), Mustafa Ibrahim (Ultra-Low Power AI), Téo Biton (Runtime Anomaly Detection), Mohamed Amine Zhiri (Adaptive NoC), Juliette Pottier (RISC-V Protection). Graduates: Quentin Dariol (Neural Network Timing), Alexis Duhamel (FPGA Scheduling), Safouane Noubir (Security in Multi-Core Systems), Hai Dang Vu (Probabilistic Timing Analysis), David Pallier (Sensor Clock Synchronization). Projects : Current: ADAPTING (2023-2029), FITNESS (2023-2027), SEC-V (2022-2025), NOP (2021-2025). Past: SPARTE (2015-2018), ARDyT (2011-2015), FosFor (2008-2011).

Christine SolnonView profile

Professor

• Ant Colony Optimization
• Constraint Programming
• Combinatorial Optimization
• +7 more

Christine Solnon is a Professor of Computer Science at INSA Lyon, affiliated with the CITI lab and Inria EMERAUDE team. Her research bridges Ant Colony Optimization (ACO) and Constraint Programming (CP) to solve complex combinatorial problems in vehicle routing, scheduling, and graph algorithms. Deputy head of science at Inria Lyon Centre Co-investigator in projects like ANR MAMUT (2022-2026) and ANR DeCrypt (2019-2022) Her work focuses on hybridizing ACO with CP for optimization, addressing time-dependent problems (e.g., Time-Dependent TSP with Time Windows ), multi-robot coordination, and differential cryptanalysis. Google Scholar lists 15 recent articles (2025-2023) exploring topics like non-crossing path planning for tethered robots, spatio-temporal traffic modeling, and algorithmic ethics. She mentors PhD students in areas such as Time-Dependent Vehicle Routing Problems and Mathheuristics , often co-supervising with institutions like Lab-STICC and LIRIS. Her software tools (e.g., AntSolver, Castor) demonstrate practical applications of her research.

Elena KirshanovaView profile

Lecturer

• Lattice-based cryptography
• Post-quantum cryptanalysis
• Code-based cryptography
• +2 more

Elena Kirshanova is a part-time Lecturer at I.Kant Baltic Federal University and Lead Cryptographer at Technology Innovation Institute. Her research focuses on practical and theoretical cryptanalysis of lattice-based and code-based cryptographic primitives, with applications to post-quantum security. Research interests include: Lattice-based cryptanalysis Quantum algorithms for cryptographic problems Decoding attacks on McEliece variants Sieving techniques for codes and lattices She teaches courses in lattice-based cryptography, coding theory, and information security. Dr. Kirshanova serves on program committees for major cryptography conferences including Crypto, Eurocrypt, and PQCrypto. Her work bridges theoretical cryptanalysis with practical implementations for post-quantum cryptographic schemes.

Olivier BlazyView profile

Professor

• Cryptographic Protocols
• Post-Quantum Cryptography
• Zero-Knowledge Proofs
• +8 more

Olivier Blazy is a Professor at École Polytechnique, specializing in cryptographic protocols and security analysis. His research spans post-quantum cryptography, implicit cryptography, end-to-end encryption, and online age verification systems. Current affiliations: École Polytechnique (since 2021), LIX Grace Lab Previous institutions: University of Limoges (2014-2021), Ruhr University Bochum (2012-2014), École Normale Supérieure (2009-2012) Blazy’s work focuses on developing quantum-resistant cryptographic solutions, including secret sharing mechanisms, oblivious transfer protocols, and code-based encryption systems. He has contributed to the NIST Post-Quantum Cryptography standardization process. His research includes a taxonomy for post-compromise security, analyzing recovery speeds of protocols like Signal and 5G handover systems. Recent publications explore bivariate proximity tests, cryptographic accumulators, and identity-based revocation schemes. Blazy has been featured in media discussing cybersecurity policy, including: Critique of French government’s StopCovid contact-tracing app (2020-2022) Analysis of EU digital identity frameworks (2024) Commentary on online age verification and privacy (2023) He teaches advanced cryptography courses covering encryption, differential privacy, and cryptanalysis techniques.

Marco VassenaView profile

Researcher

• Information Flow Control
• Programming Languages
• Functional Programming
• +3 more

Marco Vassena is a researcher affiliated with CISPA Helmholtz Center for Information Security and Utrecht University , focusing on Information Flow Control , Programming Languages , and Security . He contributes to secure compilation, memory safety, and cryptographic code analysis. His research explores compiler design , speculative execution mitigation , and Wasm security , often involving formal verification and runtime enforcement . Recent work includes eliminating speculative leaks and enforcing memory safety for WebAssembly. Marco has authored publications in conferences like POPL and PriSC , addressing cryptography , secure compilation , and parallel runtime systems . He actively participates in program committees and artifact evaluations.

Jacques SternView profile

Professor

• Cryptography
• Cryptanalysis
• Public Key Encryption
• +5 more

Jacques Stern is a renowned Professor of Computer Science at the École normale supérieure (ENS) in Paris, France, where he has held a position since 1992. He has also served as Director of the Computer Science Laboratory at ENS from 1996 to 2007 and as Chairman of the Board for Ingenico SA and the Agence Nationale de la Recherche (ANR). His work has significantly advanced cryptology, particularly in areas like public-key encryption, cryptanalysis, and cryptographic protocols. École polytechnique (1968) École normale supérieure (1968–1972) Agrégation de Mathématiques (1971) PhD in Sciences (1975) Jacques Stern's research spans foundational and applied aspects of cryptography. Key interests include complexity theory , public-key encryption , block ciphers , cryptographic protocols , and cryptanalysis . His work on coding theory and smart card applications bridges theoretical and practical security challenges. His publications emphasize cryptanalysis of public-key systems, signature schemes , and security proofs . Notable trends include lattice-based cryptography , algebraic attacks , and provable security frameworks. CNRS Gold Medal 2006 RSA Award for Excellence in Mathematics 2007 CNRS Silver Medal 2005 Prix Lazare Carnot 2003 Prix Science et Défense 2008 Fellow of IACR 2005 Jacques Stern has advised numerous researchers through collaborations with scholars like David Pointcheval, Antoine Joux, and Guillaume Poupard. His leadership roles at ENS, ANR, and ARCEP reflect his influence on national research and cybersecurity policy. He has contributed to cryptographic standards, including evaluations of AES candidates. As Director of the ENS Computer Science Laboratory (1996–2007), he fostered interdisciplinary research. His later advisory roles (e.g., ARCEP, 2012–) continue to shape electronic communications regulation.

Cătălin HrițcuView profile

Professor

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +15 more

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. His work bridges programming languages, formal verification, and systems security, with a strong focus on developing foundational methods for secure compilation and verified systems. His research interests include formal methods for security, programming languages, and the design and verification of security-critical systems. Specifically, he works on secure compilation, compartmentalization, memory safety, information flow control, security protocols, program verification, proof assistants (especially F*), dependent types, formal semantics, mechanized metatheory, and property-based testing. His research group develops techniques to ensure that high-assurance verified code remains secure when interacting with untrusted or weakly-typed components. The recent publications show a consistent focus on foundational verification of security properties, particularly in the context of the F* language and secure compilation. Key themes include secure interoperability between verified and unverified code, end-to-end verification of cryptographic implementations, and formal proofs of compiler correctness. His work often combines deep theoretical insight with practical implementation, targeting real-world systems like CHERI and high-speed cryptography. Scientific awards include: ERC Starting Grant on formally secure compilation Hrițcu has advised numerous students and researchers, though specific names are not listed in the source. He has led significant research grants, notably the ERC Starting Grant, which supports foundational work in secure compilation. His leadership extends to major conferences where he has served as program chair, steering committee chair, and organizing committee member across POPL, ICFP, CPP, and PriSC. He leads the Formally Verified Security group at MPI-SP, which focuses on building and verifying secure systems using formal methods. The group actively contributes to the F* verification system and works on projects involving secure compilation chains, reference monitors, and tagged architectures.

• Cryptography
• Post-Quantum Cryptography
• Algorithm Optimization
• +3 more

Claire Delaplace serves as a Lecturer in the Department of Optimization and Cryptography with Artificial Intelligence at Université de Picardie Jules Verne's Faculty of Science. Her research focuses on cryptographic algorithm design and optimization within the OCIA research domain. Her primary research interests encompass: Post-Quantum Cryptography (particularly lattice-based and code-based systems) Syndrome decoding complexity and algorithms Multivariate polynomial system solving Hash function cryptanalysis AI-enhanced cryptographic optimization Finite field arithmetic applications Analysis of her recent publications (2020-2025) reveals a consistent focus on improving cryptographic algorithm efficiency, with particular emphasis on syndrome decoding variants, lattice reduction techniques, and multivariate equation solving. Her work frequently bridges theoretical complexity analysis with practical implementations, often addressing vulnerabilities in post-quantum cryptographic candidates. Dr. Delaplace maintains active collaborations with prominent researchers including Charles Bouillaguet, Pierre-Alain Fouque, and Antoine Joux, evidenced by her publication record in IACR venues and SIAM proceedings.

Francesco ArzaniView profile

Assistant Professor

• Quantum Information Science
• Quantum Optics
• Continuous-Variable Quantum Computing
• +5 more

Francesco Arzani is a junior professor at INRIA Paris and a member of the QAT team within the Department of Informatics at École Normale Supérieure. He obtained his PhD from ENS/PSL and Laboratoire Kastler Brossel, followed by post-doctoral appointments at LIP6, LORIA and Freie Universität Berlin. His research sits at the intersection of quantum optics and quantum information, with a focus on continuous-variable systems, bosonic error-correcting codes and fault-tolerant quantum computation. Education: PhD in Physics, École Normale Supérieure & Paris Sciences Lettres (2018) Graduate studies in quantum optics, Laboratoire Kastler Brossel Research interests: Arzani’s work targets the theory–experiment interface of continuous-variable quantum information processing. He designs non-Gaussian resources (photon subtraction, engineered squeezing), develops bosonic error-correcting codes (notably Gottesman–Kitaev–Preskill codes) and investigates fault-tolerant architectures that remain realistic with present-day photonic technology. Key themes include universal CV gate sets, entanglement in optical frequency combs, measurement-based quantum computation and the mathematical structure of lattice codes in phase space. Publication trends: Across 20+ peer-reviewed articles and several preprints, Arzani consistently advances from abstract code design to experimental feasibility . Recent works (2022-2025) emphasize fault-tolerant thresholds and symmetry-enhanced variational algorithms, while earlier papers map out practical methods to generate and certify multimode entanglement in femtosecond-frequency-comb platforms. Scientific outreach & awards: He has delivered invited seminars at Xanadu, WACQT, NC State and numerous international workshops; serves as referee for leading quantum journals; and maintains open-source slides and posters for community use. No competitive fellowships or prizes are explicitly listed in the supplied sources. Team & grants: Arzani leads independent research funded through the INRIA Junior Professor Chair scheme and participates in the French “Défi EQIP” quantum initiative. He collaborates closely with experimental groups at Kastler Brossel, Xanadu and within the EU continuous-variable quantum community, co-supervising graduate students and post-docs in the QAT team.

Marco PatrignaniView profile

Researcher

• Secure Compilation
• Compiler Security
• Memory Safety
• +5 more

Marco Patrignani is a researcher affiliated with Stanford University and previously with the University of Trento (Italy). His work focuses on secure compilation , compiler security , and memory safety , particularly in the context of WebAssembly and Spectre attacks. He has contributed to numerous workshops and conferences, including POPL, PriSC, and PLDI. Key Research Areas: Secure Compilation, Programming Languages, WebAssembly, Cryptography Notable Contributions: Robust security guarantees against speculative execution attacks, memory safety preservation, and formal verification of compilers. Publications highlight his work on compiler correctness, ownership-based information flow, and cryptographic security. He has organized and chaired sessions at workshops like PriSC and ESOP.

Cristina CifuentesView profile

Adjunct Professor

• Program Analysis
• Secure Languages
• Code Comprehension
• +7 more

Cristina Cifuentes is an Adjunct Professor at the University of Queensland (School of Information Technology and Electrical Engineering) and Queensland University of Technology (School of Electrical Engineering and Computer Science). She serves as Vice President of Software Assurance at Oracle Labs, leading a team focused on large-scale application security and vulnerability detection. PhD in Computer Science (1994) from Queensland University of Technology Chancellor's Outstanding Alumnus (2001) from QUT Her research interests span program analysis , secure languages , and binary translation , with a focus on enterprise systems and commercial applications. Her work includes static analysis tools like Oracle Parfait and cryptographic API misuse detection. Recent publications address secure programming language design (POPL 2020), scalable static analysis (SAS 2021), and malware analysis platforms (ColdPress). These works emphasize code comprehension , vulnerability detection , and automated security frameworks . Scientific Awards LABSCon 2024 Lifetime Achievement Award Mother of Decompilation Chancellor's Outstanding Alumnus (2001) from QUT She actively contributes to academic communities through committee roles (PriSC, SPLASH) and mentoring, particularly in women in STEM . Her impact includes dozens of patents and leading Oracle Labs Australia for 12 years.

David PichardieView profile

Professor

• Formal Methods
• Programming Languages
• Program Verification
• +3 more

David Pichardie is a Professor of Computer Science at ENS Rennes (France) and a Researcher at Meta. He holds a part-time teaching position at ENS Rennes while working on sabbatical leave. His research spans formal methods, programming languages, program verification, software security, and static analysis. He specializes in machine-checked proofs using Coq and abstract interpretation, with significant work on the verified C compiler CompCert. He has served on program committees for SAS, OOPSLA, POPL, and other leading conferences. Research Interests: Formal Methods, Static Analysis, Compiler Verification, Security, Abstract Interpretation, Programming Languages Awards: ERC Consolidator Grant (2018-2021) His recent publications focus on verified JIT compilation, constant-time cryptography, SSA-based compiler optimizations, and concurrency verification. He has contributed to the formal verification of garbage collectors, WCET estimation tools, and information-flow architectures. His work often bridges theoretical formal verification with practical compiler design, emphasizing machine-checked proofs and integration into real-world systems like CompCert. He has mentored students and collaborated on formal verification of Java bytecode, defensive copying policies, and static analysis of self-modifying code. His teaching includes courses on static analysis, formal methods, and algorithms at institutions such as University Rennes 1, INSA engineering school, and ENS Cachan.

• Cyber-Physical Systems
• Mobile Systems Security
• Wireless Systems Security
• +3 more

Daniele Antonioli is an Assistant Professor in Digital Security at EURECOM, France. His research focuses on securing Cyber-Physical Systems (CPS), Mobile/Wireless Systems, Embedded/IoT devices, and Industrial Control Systems (ICS). He specializes in applied cryptography and system-level security, addressing vulnerabilities in emerging technologies such as Bluetooth, FIDO2, and vehicular networks. Maintains a lab focused on reverse engineering, hardware-software co-analysis, and automated security testing frameworks. Developed tools like MiniCPS and CPSBot for CPS/IoT security research. Research interests include: - Bluetooth Exploitation : BIAS, KNOB, BLURtooth attacks. - Embedded Systems Security : E-Trojans, E-Spoofer, Breakmi. - Privacy-Preserving Systems : Decentralized contact tracing protocols. - IOT/IICS Threat Modeling : AttackDefense Framework. Publications highlight both technical contributions (e.g., SimProcess simulation framework) and practical impact (e.g., EmuOCPP for EV charging security). Recipient of Singaporean Presidential Graduate Fellowship (2015-2019) and ST Engineering Research Excellence Award (2017). Active in international collaborations, including EU-funded projects. Advises on CPSBot botnet simulation and FP-tracer browser fingerprinting detection systems. Engages in standardization efforts for secure industrial communication protocols.

Amor NafkhaView profile

Researcher

• Physical layer security
• Hardware Security
• Reconfigurable Computing
• +4 more

Amor Nafkha is a Researcher at the Rennes Institute of Electronics and Telecommunications (IETR), specializing in Physical layer security, Hardware Security, and Reconfigurable Computing. His work focuses on advancing Cognitive Radio, Software Defined Radio (SDR), and 5G/6G technologies. He has contributed to pioneering research in spectrum sensing, hardware vulnerability analysis, and reconfigurable systems. His research interests include developing robust security mechanisms against side-channel attacks, optimizing SDR architectures for energy efficiency, and applying machine learning techniques to device activity detection in massive MTC networks. Key projects include the ANR-POSEIDON initiative and the WONG5 document on 5G integration for machine-type communication. Notable contributions include multi-screaming-channel attacks leveraging frequency diversity and hybrid spectrum sensing frameworks validated on USRP platforms. His work bridges theoretical signal processing with practical hardware implementations, emphasizing real-world deployment challenges.