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 dedcated to the project.

• End of September: Project Presentation.
• Early October: Project Selection.
• End of October / Start of November: Presentation of an article.
• End of November / December: Project Summary; each student must present their subject, what they have already accomplished, and the work ahead.
• March: Project Defense; each student must present the results from their project.

• 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