Cyber – Cybersecurity track

One mandatory M2 module is the Research Project, which will start in late September with the presentation of the projects. The students are expected to read articles, set up a scientific approach and present their results by working with their advisor (an IP Paris teacher/researcher). Each week, an afternoon is dedicated to the project.

• September 29th, 2026: PRO7255 Kick-off.
• October 2nd-9th, 2026: Group and project selection.
• November 3rd, 2026: Reading group 1.
• November 12th, 2026: Reading group 2.
• December 4th, 2026: Project summary – each group presents the subject, what they have already accomplished, and the work ahead.
• February 25th, 2027: Project defense – each group presents the final project results.

List of 2026-2027 Proposals

• David CORTES, Jean LENEUTRE, Vadim MALVONE (TP) - Efficient Translation of Cyber-Security Simulations into Formal Game Models
• Maryline Laurent, Montassar Naghmouchi (TSP) - A dynamic DPP (Digital Product Passport) for complying to the new European regulation
• Maryline Laurent and Chi Tran (TSP), Louis Philippe Sondeck (Clever Identity) - Causal Evaluation and Redesign of Anonymized Data
• Alex Pierron, Joaquin Garcia-Alfaro (TSP) - Learning to Exploit a Backdoored RL Controller
• Weiqiang Wen (TP) - How Far Are We from Breaking Lattice-Based Cryptography?
• Yanis Sellami and Sebastien Bardin (CEA) - Modeling and Validating Complex Fault Injection Protections on Binary Code
• Gregoire MENGUY and Sebastien Bardin (CEA) - Large Language Models for Deobfuscation: the Case of Mixed Boolean Arithmetic Obfuscation
• Gregoire MENGUY and Sebastien Bardin (CEA) - Learning Exact Loop Bound Through Programming-by-Example
• Frederic Recoules and Sebastien Bardin (CEA) - Automated Binary Code Analysis: Efficient Memory Reasoning via Generalized Writes
• Frederic Recoules and Sebastien Bardin (CEA) - Automated Binary Analysis: Optimizing solver queries in BINSEC
• Quentin LEROUX-MICHAUD (Thales) - A new approach for observing WebAssembly workloads
• Quentin LEROUX-MICHAUD (Thales) - WasMemoryHound: visual representation and security analysis of standalone implementations of the WebAssembly memory model
• Dhouha Ayed and Louis Cailliot (Thales) - Semantic integration of Security Requirements with Topologies Specification for RL-Based Orchestration
• Gregory Blanc, Majd Shalak (TSP) - Towards Realistic Adversarial Examples against Network Intrusion Detection Systems
• Gregory Blanc, Benoit Nougnanke (TSP), Thomas Robert (TP) - Study of the Network Intrusion Detection Datasets’ Labels
• Eric Totel (TSP) - Searching for correlation rules in causal graphs
• Olivier Levillain (TSP) - Improving the Software Architecture of Active Automata Learning Tools

• David CORTES, Jean LENEUTRE, Vadim MALVONE (TP) - Reasoning about Logics for Dynamic Models
• Jean LENEUTRE, Vadim MALVONE, Axel OSCAR (TP) - Quantitative Reasoning for Dynamic Models
• Sébastien Canard (TP), Olivier Levillain (TSP) - Study of Fuzzy Hash Schemes
• Nesrine Kaaniche, Akram Bendoukha (TSP) - Multi-party Private Set Intersection (PSI) Using Multi-Key Fully Homomorphic Encryption (FHE)
• Nesrine Kaaniche, Akram Bendoukha (TSP) - Study of selective Fully Homomorphic Encryption approaches for large scale Federated Learning
• Sébastien Canard (TP) - Advanced Cryptographic Key Generation from Passwords and Biometric Data
• Yanis Sellami, Sébastien Bardin (CEA List) - Characterization of Side-Channel Vulnerabilities on Binary Code
• Yanis Sellami, Sébastien Bardin (CEA List) - Verification of Side-Channel Leakage Contracts on Binary Code
• Yanis Sellami, Sébastien Bardin (CEA List) - Model Validation in BINSEC for Fault Injection Attacks on Binary Code
• François Morain (X) - Trapdooring RSA
• Joaquin Garcia-Alfaro (TSP) - Post-quantum resistant bitcoin transactions
• Joaquin Garcia-Alfaro (TSP) - HHL and its impact to post-quantum cryptography
• Grégoire Menguy, Sébastien Bardin (CEA List) - Program Synthesis for Binary-code Deobfuscation
• Grégoire Menguy, Sébastien Bardin (CEA List) - Program Synthesis for Capture-the-flags
• Grégoire Menguy, Sébastien Bardin (CEA List) - Exact Loop Bound Synthesis
• Daniel Augot (X) - Zero-knowledge proofs of software vulnerabilities
• Frédéric Recoules, Sébastien Bardin (CEA List) - Symbolic monitoring of type state properties
• Thomas Robert (TP) - Better attack graphs through better formal attack dynamics
• Dhouha Ayed, Quentin Michaud (Thales) - Observability of innovative sandboxed container technology: Detection and monitoring of WebAssembly Workloads
• Olivier Levillain (TSP) - Improving the Software Architecture of Active Automata Learning Tools
• Maryline Laurent (TSP)- Methodology for measuring the usefulness and privacy of synthetic data
• Badis HAMMI, Nesrine KAÂNICHE (TSP) - Security Implications of the Transition from IEEE 802.11p to Cellular (C-V2X / 5G/6G) in Intelligent Transportation Systems (ITS) – A risk analysis
• Gustavo Banegas (Inria GRACE) - Efficient ML-KEM and ML-DSA on RISC-V with Optimized NTT
• Benjamin Smith (X) - Post-quantum key agreement for small devices
• Gregory Blanc, Benoit Nougnanke (TSP), Thomas Robert (TP) - Generalization in ML-based NIDS: Data Diversity, Task Complexity, and Training Dynamics
• Grégory Blanc, Majd Shalak (TSP) - Explainability-Guided Adversarial Examples: Generation, Evaluation, and Defense Mechanisms
• Matthieu Rambaud (TP) - Envelope encryption et application au stockage dans le cloud et à la messagerie sécurisée
• Maryline Laurent, Montassar Naghmouchi (TSP) - A Stateful Digital Twin for Pharmaceutical Traceability on a Permissioned Blockchain
• Grégoire Menguy, Sébastien Bardin (CEA List) - Synthèse de Code pour la Déobfuscation de Binaires
• Grégoire Menguy, Sébastien Bardin (CEA List) - Étendre le Machine Learning Symbolique pour l’Analyse de Code
• Quentin Michaud (Thales/TSP) - Security analysis of standalone implementations of the WebAssembly memory model
• Quentin Michaud, Dhouha Ayed (Thales/TSP) - An innovative sandboxed container technology: security of WebAssembly System Interfaces (WASI)
• Jean Leneutre, Vadim Malvone, James Ortiz (TP) - Reasoning about Real-Time and Probability on Logics for Dynamic Models
• Gabriel Ballot, Jean Leneutre, Vadim Malvone (TP) - Best strategy to identify opponents’ profiles in multi-agent systems
• Yanis Sellami, Sébastien Bardin (CEA List) - Extension d’une analyse de vulnérabilité de code bnaire à des attaques par canaux auxiliaires (English version)
• Yanis Sellami, Sébastien Bardin (CEA List) - Extension d’une analyse de vulnérabilité de code binaire à des attaques par injection de fautes (English version)
• Frédéric Recoules, Sébastien Bardin (CEA List) - Vers une exécution symbolique plus robuste : Modélisation de fonctions de librairies et appels système (English version, Slides presented by Frédéric Recoules and Yanis Sellami)
• Olivier Paul (TSP) - Caractérisation des systèmes de protection contre les attaques contre l’équité dans TCP
• Badis Hammi, Nesrine Kaaniche (TSP) - Analysis of the Impact of Communication Technologies on Vehicular Networks: Application to the Integration of UAVs in Intelligent Transportation Systems
• Gregory Blanc (TSP), Thomas Robert (TP) - Towards better quality datasets for the evaluation of intrusion detectors
• Gregory Blanc, Georgios Bouloukakis (TSP) - Collaborative Anomaly Detection for Constrained Devices using Federated Learning
• Yohan Pipereau, Olivier Levillain (TSP) - Analysis of control flow traces of network protocol states
• Olivier Levillain (TSP) - Study of Real-World OPC-UA Implementation using State Machine Inference
• Sébastien Canard (TP) - Post-quantum authentication for the Internet of Things