Find Academic Supervisors

Sandrine BlazyView profile

Professor

• Formal Verification
• Semantics of Programming Languages
• Compilers
• +5 more

Sandrine Blazy is a Professor at the University of Rennes , where she teaches mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. She is a member of the CELTIQUE and Epicure project-teams, both affiliated with Inria Rennes and IRISA laboratory. Her research focuses on formal verification of compilers and program transformations, notably through the CompCert compiler and Versaco static analyzer. Education : HDR (Habilitation à Diriger des Recherches) in Computer Science, Université d'Évry Val d'Essonne (2008). Research Interests : Her work ensures mathematical guarantees in compiler correctness, preventing security bugs during program translation. She specializes in deductive verification , static analysis , and software security , with applications in critical systems like avionics and cryptography. Scientific Awards : CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award (2022) ACM Software System Award (2021) Best Paper Award at FMTea 2014 La Recherche Award in Information Sciences (2011) Advising and Grants : She has advised numerous PhD students (e.g., Solène Mirliaz, Aurèle Barrière) and led research projects like Scrypt (secure compilation for cryptography), ERC VESTA (verified static analysis), and VERASCO (formal verification of compilers). Her grants include ANR and FNRAE funding. Labs and Teams : Actively involved in IRISA CNRS UMR 6074 as deputy director (2021), and collaborates with Inria Rennes and CNRS project teams.

• Quantum Communication
• Quantum Key Distribution
• Information-Theoretic Security
• +7 more

Matthieu Bloch is an Associate Professor in the School of Electrical and Computer Engineering at the Georgia Institute of Technology. He is an expert in quantum communication, information security, and coding theory, with a focus on developing provably secure and covert communication systems using quantum technologies. His research lies at the intersection of information theory, cryptography, and quantum engineering. Key areas include: Quantum Key Distribution (QKD) and post-quantum cryptography Covert and undetectable quantum communication Information-theoretic security over quantum channels Design of efficient reconciliation algorithms for low-information signals Coding and signaling techniques for concentrating diffuse information His work has been recognized through invitations to speak at international scientific events, such as the guest lecture at CY Advanced Studies on "Towards undetectable quantum communications." While specific publications and awards are not listed in the provided text, his contributions reflect cutting-edge advancements in secure quantum communication systems. Dr. Bloch has advised students and led research projects in secure communications, though specific names are not provided. His work is supported by research grants in quantum information science, though details are not specified. He is actively involved in advancing the theoretical and practical deployment of quantum-secured networks, including satellite-based systems like those demonstrated in the Micius project. He is affiliated with the Georgia Tech School of Electrical and Computer Engineering, a leading institution in engineering research and education. His work contributes to both foundational theory and real-world applications in secure communications.

• Computer Security
• Privacy Engineering
• Data Management
• +2 more

Nicolas ANCIAUX is a Research Director at INSA Centre Val de Loire and affiliated with LIFO (Laboratoire d'Informatique Fondamentale d'Orléans). His research focuses on privacy-enhancing technologies, data security, and applied cryptography, with emphasis on telework monitoring, LLM vulnerabilities, and secure data management systems. He collaborates extensively with institutions like Inria and international researchers. Research Interests: His work spans computer security, privacy engineering, and machine learning security. Key areas include: Privacy-enhancing technologies (PETs) for data minimization and consent Detection of privacy violations in telework environments via energy trails Membership inference attacks on large language models Secure extensible data systems with vulnerability mitigation Publications Focus: Recent articles (2024-2025) explore LLM security flaws, energy-based activity detection, and PET implementations. Themes include adversarial robustness, behavioral analytics, and technical-legal alignment in AI systems. Affiliations: Primary institutional links are with INSA Centre Val de Loire and LIFO. Collaborative networks include researchers from Université d'Orléans, Universidad Carlos III de Madrid, and Inria teams.