Find Academic Supervisors

• Cryptography
• Computational Number Theory
• Computer Algebra
• +3 more

Damien Stehlé is a Professor at the École Normale Supérieure de Lyon (ENS Lyon), affiliated with the Laboratoire LIP (CNRS, ENSL, INRIA, UCBL, U. Lyon) and a member of the AriC team. He is also a member of the Institut Universitaire de France. His research focuses on cryptography, computational number theory, and computer algebra, particularly lattice-based cryptography and its applications in post-quantum security. He has held editorial roles at the Journal of Cryptology and Designs, Codes and Cryptography, and served on committees for major conferences like ASIACRYPT and CRYPTO. His work has led to advancements in lattice reduction algorithms, cryptographic protocols (e.g., signatures, encryption schemes), and security proofs in the quantum random oracle model. Stehlé has supervised numerous PhD students, including Alice Pellet-Mary and Miruna Rosca, and has contributed to open-source lattice reduction software like fplll. His awards include Best Paper Awards at ASIACRYPT 2021 and 2015. He teaches advanced courses on post-quantum cryptography and cryptanalysis at the Master’s level.

Duong Hieu PhanView profile

Professor

• Cryptography
• Provable Security
• Functional Encryption
• +7 more

Duong Hieu Phan is a Professor at Telecom Paris, part of the Institut Polytechnique de Paris, and Head of the Cybersecurity-Cryptography team. He holds a Ph.D. in Computer Science from Ecole Normale Supérieure and has extensive postdoctoral experience at University College London and research roles at France Telecom R&D. His academic career includes roles as an assistant/associate professor at LAGA, University of Paris 8 (2007–2015), and later as a professor and director of the Master 2 Maths CRYPTIS program at XLIM, University of Limoges (2015–2020). His research focuses on cryptography, with emphasis on provable security, functional encryption, privacy-preserving systems, and anamorphic cryptography. Key areas include secure communication mechanisms against oppressive surveillance, decentralized systems, and post-quantum security. He has contributed to foundational work on CCA security for FHE, quantum-resistant protocols, and verifiable functional encryption. Prof. Phan is actively involved in professional committees, including IACR ASIACRYPT and PKC steering committees, and editorial boards such as the IACR CIC Journal. He promotes Franco-Vietnamese scientific collaboration through roles in the CNRS IRL partnership. His teaching spans cryptography, algorithms, and mathematics at undergraduate and master’s levels, including program coordination and research supervision.

Sihem MesnagerView profile

Professor

• Symmetric Cryptography
• Coding Theory
• Finite Fields
• +10 more

Sihem Mesnager is a University Professor of Mathematics at the University of Paris VIII, affiliated with the Laboratory of Analysis, Geometry and Applications (LAGA) at Paris XIII (CNRS) and the AGC3 research group (Algebra, Geometry, Combinatorics) . She holds an adjunct professorship at Télécom Paris within the MIC2 Mathematics team of the Computer Science and Networks department (INFRES). Her work bridges pure mathematics and applied cryptography, focusing on Boolean functions, bent functions, and coding theory for secure communication and data protection. PhD in Mathematics, University of Pierre and Marie Curie (Paris VI), Sorbonne University (2002) Habilitation (HDR) in Mathematics, University of Paris VIII (2012) Research Interests Dr. Mesnager specializes in symmetric cryptography and coding theory , particularly their applications to secure digital communication, error correction, and post-quantum cryptographic protocols. Her algebraic approach employs finite fields, exponential sums, algebraic geometry, and finite geometry to analyze and construct cryptographic primitives like S-boxes, APN functions, and optimal linear codes. She also investigates algorithmic aspects of computer algebra in these domains. Scientific Awards George Boole International Prize (2020) PEDR Excellence Scientific Award (2019-2022) PEDR Excellence Scientific Award (2014-2017) Publications & Projects Her recent work includes constructing weightwise perfectly balanced Boolean functions for the FLIP cipher, optimizing Inner Product Masking schemes via coding theory, and developing post-quantum secure functional encryption using multivariate cryptography. She has contributed to Reed-Muller codes, BCH codes, and Gaussian sum-based linear codes with one-dimensional hulls, emphasizing their applications in side-channel attack resistance and quantum error correction.

David PointchevalView profile

Researcher

• Cryptography
• Provable Security
• Cryptographic Protocols
• +3 more

David Pointcheval is a CNRS Researcher at the Computer Science Department of École Normale Supérieure (ENS) in Paris, France. Since 2005, he has led the Cryptography Team, which has been associated with Inria since 2008. He became the Chair of the Computer Science Department at ENS in 2017. Education: PhD in Computer Science (1996) from University of Caen. His research focuses on the provable security of cryptographic primitives and protocols. He has contributed to privacy-preserving aggregation techniques for data from multiple sources, including work on homomorphic encryption and functional encryption. He has served as program chair for major cryptography conferences (PKC 2010, Eurocrypt 2012) and held leadership roles in the International Association for Cryptologic Research (IACR) as one of nine elected directors for nine years. He holds over 150 international publications and a dozen patents. Scientific Awards: ERC Advanced Grant (Privacy for the Cloud)

Renaud PacaletView profile

Researcher

• Hardware Security
• Side-Channel Attacks
• Embedded Systems
• +7 more

Renaud Pacalet is a Researcher at Institut Mines-Télécom – Télécom Paris , affiliated with the Communications and Electronics (Comelec) Department and the System on Chip (LabSoc) research team under the Information Processing and Communication Laboratory (LTCI). His work spans hardware security, embedded systems, and software-defined radio (SDR) architectures. Current Research: Hardware security, side-channel attacks (power, timing, fault injection), RISC-V security analysis using gem5, FPGA scheduling for cloud data centers, and model-driven design methodologies. Past Research: Hardware acceleration for ray tracing, SDR front-end processing, SoC security, and memory bus protection (SecBus project). Teaching: Courses on Digital Systems, Computer Architecture, and Hardware Security at EURECOM, including lab sessions on side-channel attacks and fault analysis. Email: renaud.pacalet@telecom-paris.fr Contact: Télécom ParisTech, Campus SophiaTech, 450 route des Chappes 06410 Biot, France

Yassine LakhnechView profile

Professor

• Computer Security
• Cryptography
• Formal Verification
• +5 more

Yassine Lakhnech is a Professor at the University Joseph Fourier (Grenoble 1), leading the 'Distributed and Complex Systems' research team within the VERIMAG laboratory. His work focuses on computer security, cryptography, formal verification, and programming language semantics. He has been actively involved in coordinating major interdisciplinary research initiatives like the PERSYVAL-lab, which addresses cyber-physical systems (CPS) challenges. His research bridges computational and formal approaches, with contributions to cryptographic protocol analysis, information flow control, and automated theorem proving. Key projects include the development of tools like HERMES for cryptographic protocol verification and involvement in ANR-funded projects such as Verso, PROSE, and AVOTE. He has also organized international conferences and workshops, including the Canada-France MITACS Workshop on Foundations & Practice of Security and the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. His publications span over 147 papers, with an h-index of 25 and g-index of 42, reflecting significant contributions to formal methods, security protocols, and hybrid systems. Despite his role as Vice President of Research, he maintains active scientific productivity, emphasizing the integration of theoretical and practical advancements in CPS and security.

Hanjun KimView profile

Researcher

• Compiler Design
• Machine Learning
• Parallel Computing
• +3 more

Hanjun Kim is a researcher at Yonsei University, focusing on compiler design, machine learning optimization, and hardware-aware programming techniques. His work bridges theoretical research with practical implementations in embedded systems and security domains. Research Interests Compiler-driven optimization for PIM (Processing-in-Memory) architectures Homomorphic encryption compiler design Parallel computing for DNN/LLM inference Network function program analysis Recent research trends include: application of compiler techniques to optimize resource utilization in heterogeneous computing environments, particularly for AI workloads and secure computation. His publications demonstrate expertise in tackling performance bottlenecks through architectural and compiler co-design. Conference Service 2025 SPLASH OOPSLA Review Committee 2025 LCTES Program Committee 2024 CGO Program Committee 2023 LCTES Program Committee 2022 CGO Organization Committee 2020 LCTES Program Committee

• Cryptography
• Lattice-based cryptography
• Post-quantum cryptography
• +3 more

Professor Damien Stehlé is a faculty member at École Normale Supérieure de Lyon (ENS Lyon), where he is part of the AriC team within the Laboratoire de l'Informatique du Parallélisme (LIP). He is also a distinguished member of the Institut Universitaire de France. His research and teaching activities focus on cryptography, computational number theory, and computer algebra, with particular emphasis on lattice-based cryptographic systems. Stehlé's research primarily centers on the computational aspects of Euclidean lattices and their applications in cryptography. He has made significant contributions to lattice-based cryptography, particularly in the context of post-quantum cryptography. His work addresses fundamental questions about the hardness of lattice problems, algorithmic improvements for lattice reduction, and the development of practical cryptographic schemes based on lattice assumptions. He has been actively involved in the NIST post-quantum cryptography standardization process, contributing to the analysis of lattice-based candidates like Kyber and Saber. His publications span theoretical foundations to practical implementations, demonstrating a rare ability to bridge abstract mathematics with real-world cryptographic applications. Throughout his career, Stehlé has published extensively in top-tier cryptography and theoretical computer science venues. His research has been recognized with multiple best paper awards for groundbreaking contributions to the field. Best paper award at ASIACRYPT 2021 for 'On the hardness of the NTRU problem' Best paper award at ASIACRYPT 2015 for 'Improved security proofs in lattice-based cryptography' Best paper award at EUROCRYPT 2015 for 'Cryptanalysis of the Multilinear Map over the Integers' Professor Stehlé has supervised numerous PhD students over the years, often collaborating with other leading researchers in the field. He serves on program committees of major cryptography conferences and is a member of editorial boards for prestigious journals including the Journal of Cryptology and Designs, Codes and Cryptography. His research group at LIP's AriC team is recognized as a leading center for lattice-based cryptography research in Europe.

• Cryptography
• Security
• Privacy
• +3 more

Dario Fiore is a Research Professor at the IMDEA Software Institute in Madrid, Spain. He holds a Ph.D. in Computer Science from the University of Catania (Italy), supervised by Dario Catalano, with postdoctoral positions at Max Planck Institute for Software Systems (Germany), New York University (USA), and École Normale Supérieure (France). His research focuses on theoretical and practical aspects of Cryptography, emphasizing secure computation, privacy-preserving technologies, and cryptographic protocols. Fiore has authored over 69 conference papers and 19 journal articles, with notable contributions to zero-knowledge proofs, homomorphic encryption, and verifiable computation. He leads a research group involving postdocs and students, and has secured grants such as the ERC Consolidator Grant PICOCRYPT and funding from NEC Laboratories Europe. Education: Ph.D. in Computer Science, University of Catania, 2010 Visiting Student: New York University (2009-2010), IBM Research (2008-2009) Research Interests: Cryptography, Security, Privacy, Zero-Knowledge Proofs, Secure Computation, Homomorphic Encryption His work bridges foundational cryptography with real-world applications, including privacy-preserving systems and blockchain technologies. Recent research highlights include verification-efficient homomorphic signatures, non-malleable zkSNARKs, and efficient zero-knowledge proofs for data streams. Grants & Awards: ERC Consolidator Grant PICOCRYPT (2021-2026, PI) Top Reviewer Award at ACM CCS 2022 Best Short Paper at JNIC 2015 Fiore actively participates in program committees (e.g., Eurocrypt 2025) and has delivered keynotes on cryptographic topics. His team's work is implemented in libraries like 'hsnp' for homomorphic signatures.

Woosuk LeeView profile

Researcher

• Program Analysis
• Program Synthesis
• Computer Science
• +1 more

Woosuk Lee is a researcher at Hanyang University in South Korea, specializing in Program Analysis and Program Synthesis . He has been actively involved in academic activities since 2015, contributing to major conferences like OOPSLA, PLDI, POPL, and ESEC/FSE. Current affiliation: Hanyang University Research interests: Program Analysis, Program Synthesis His research focuses on automating program generation through inductive methods and abstract interpretation. Key contributions include: Advancing iterative forward-backward abstract interpretation for program synthesis (2023) Structurally recursive functional program synthesis (2023) Homomorphic encryption circuit optimization via term rewriting (2020) Data-driven feedback systems for programming education (2021) He has served on program committees for PLDI (2024), POPL (2022), and SPLASH (2025), while also chairing workshops at PLDI 2026. His work bridges theoretical computer science with practical software engineering applications.

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.

Glenda ComaiView profile

Researcher

• Developmental Biology
• Stem Cell Biology
• Muscle Development
• +4 more

Glenda Comai is a Permanent Researcher (CRCN CNRS) at the Department of Developmental and Stem Cell Biology, CNRS UMR 3738, Institut Pasteur, Paris, where she has worked since 2016 in Prof. Shahragim Tajbakhsh's laboratory. She serves on the Advisory Board of the French Society of Developmental Biology (SFBD) since 2019 and recently obtained her HDR (Habilitation à diriger des Recherches) from Université Paris Saclay in 2024. Her research focuses on understanding the mechanisms underlying tissue patterning during development, with special emphasis on craniofacial muscles. Using 3D-imaging, mouse genetics, and single cell/single nuclear omics approaches, she investigates how heterogeneity at the level of stem cells and myofibers is established and how this impacts muscular genetic disorders. Her work reveals significant differences between extraocular muscle stem cells and those from limb muscles, particularly in their regenerative capacity and molecular signatures. Analysis of her recent publications shows a strong trend toward understanding the transcriptional and epigenetic regulation of muscle stem cell identity, particularly how anatomical location influences stem cell behavior. Her research spans developmental biology, stem cell biology, and muscle physiology, with particular emphasis on craniofacial development and muscle regeneration mechanisms. AFM PRC Grant (2024-2026) ANR JCJC Grant (2021-2024) AFM Trampolin Grant (2020-2021) As Principal Investigator, Dr. Comai leads two major research projects: AFM-Trampolin: Cellular and genetic basis for robustness of cranial myogenic populations (ENCRYPT) and ANR-JCJC: Mechanisms defining functional heterogeneity of anatomically distinct myogenic populations (MUSE). Her laboratory employs advanced techniques including bioimage analysis, confocal microscopy, stem cell culture, and various molecular biology methods to investigate muscle development and regeneration.

• Hardware Security
• Embedded Systems Security
• Physically Unclonable Functions (PUFs)
• +7 more

Jean-Luc Danger is a Professor at TELECOM Paris where he currently heads the Digital Electronic Systems Research Group. He is affiliated with the Secure and Safe Hardware (SSH) Research Team within the Information Processing and Communication Laboratory (LTCI). With a career spanning over three decades in academia after 12 years in industrial research at PHILIPS and NOKIA, Professor Danger has established himself as a leading expert in hardware security and cryptographic implementations. Professor Danger received his degree in electrical engineering from SUPELEC in 1981 before embarking on his industrial career. His academic journey began in 1993 when he joined TELECOM Paris, where he has since made significant contributions to the field of hardware security. His educational background in electrical engineering provided the foundation for his later specialization in secure hardware design and analysis. Professor Danger's research primarily focuses on embedded systems security , physically unclonable functions (PUFs) , side-channel attacks and countermeasures , and fault injection techniques . His work bridges the gap between theoretical cryptography and practical hardware implementations, addressing critical security challenges in modern computing systems. His research has evolved from foundational work on cryptographic algorithms to more recent investigations into hardware Trojans, aging effects on security primitives, and automotive security systems. Professor Danger has been particularly influential in developing methodologies for analyzing and protecting against electromagnetic fault injection attacks and side-channel information leakage. His extensive publication record demonstrates a consistent focus on hardware security challenges, with recent work showing increased attention to automotive security systems, machine learning applications for intrusion detection, and reliability issues in security primitives affected by aging and process variations. The trajectory of his research shows a natural progression from pure cryptographic implementations to more holistic security approaches that consider the entire hardware stack and its vulnerabilities. Through his leadership of the Secure and Safe Hardware research team, Professor Danger has fostered a collaborative environment that bridges theoretical security research with practical hardware implementation challenges. His work has contributed significantly to the development of standardized methodologies for evaluating hardware security and has influenced both academic research and industry practices in secure hardware design.

Benjamin GregoireView profile

Researcher

• Compilers
• Formal Verification
• Cryptography
• +3 more

Benjamin Gregoire is a Researcher at INRIA Sophia Antipolis , affiliated with the Marelle Team . His work focuses on compilers , formal verification , cryptography , proof assistants , and type theory . Education : PhD in Computer Science, Université Paris 7 (2003) Research Interests : Dr. Gregoire specializes in formal verification of cryptographic systems, compiler design for security-critical applications, type-based termination, and proof assistants like Coq. His projects include the INRIA-Microsoft Research Joint Lab , ANR Scalp (Security of Cryptographic Algorithms with Probabilities), and ANR DeCert (Certified Decision Procedures). He led the Mobius project (IP FET) and contributed to Java security validation via the JACK tool . Scientific Awards : He received the Best Paper Award at CRYPTO 2011 for 'Computer-Aided Security Proofs for the Working Cryptographer.' Advising & Collaborations : Dr. Gregoire has advised PhD students Michael Armand , Julien Charles , Sylvain Heraud , and Jorge-Luis Sacchini , with former advisee Cesar Kunz . He collaborates with teams including Marelle and INRIA-Microsoft Research .

Ahmed BouabdallahView profile

Researcher

• Cybersecurity
• Network Security
• Internet of Things (IoT)
• +13 more

Ahmed Bouabdallah is a full-time researcher at IMT Atlantique's Department of Network Systems, Cybersecurity and Digital Law , with a focus on advanced network security solutions and distributed systems. His work bridges theoretical frameworks with practical implementations in emerging technologies. Key research areas: Cybersecurity, Internet of Things, Software Defined Networking Academic collaborations: Aalborg University, Inria, CNRS, Orange Labs His recent publications analyze AI-driven Kubernetes scaling, malware propagation in 5G networks, and WoT (Web of Things) security architectures. These works demonstrate his expertise in balancing operational costs with Quality of Service (QoS) requirements. From 2015 to 2024, his research trajectory shows increasing specialization in: Container orchestration security Intent-based network mitigation Microservices synchronization Smart space access control Emergency response systems Real-time policy evaluation While no formal academic awards are listed, his publications in Journal of Ambient Intelligence , IEEE , and Sensors indicate significant industry and academic impact.