Wafik Zahwa (Resist-Pesto), soutiendra sa thèse le 25 septembre 2026 à 13 heures en salle C005, avec un exposé intitulé "In-Network Placement of Access Control Lists Under Constraints". Composition du jury : Rapporteurs : Stefano Secci, Professeur au CNAM, Paris Hind Castel-Taleb, Professeure à Télécom SudParis Examinateurs : Noura Limam, Research Assistant Professor, University of […]
Franco Terranova (équipe Resist), soutiendra sa thèse le 9 octobre 2026 à 13 h 30 en salle A008, avec un exposé intitulé "Graph Reinforcement Learning for Automated Attack Surface Discovery in Networked Systems ". Composition du jury : Rapporteurs : Anna Sperotto, Professeure, University of Twente Marco Anisetti, Professeur, Università degli Studi di Milano Examinateurs […]
Vincent Trelat, doctorant dans l'équipe Veridis, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria, avec un exposé intitulé "Trustworthy Reasonig for the B method". Composition du jury : Stephan Merz, directeur de recherches Inria au Loria (encadrant) Sophie Tourret, chargée de recherches Inria au Loria (encadrante) Jean-Christophe Filliâtre, LMF (rapporteur) Michael Leuschel, […]
