• 15/02/2021 - Marwa Zeroual started her Phd program under my supervision. The work is a continuous collaboration between IRIT and CEA. The research focuses particularly on Security Assurance Case for Artificial Intelligence (AI)-Based Systems.
  • 10/03/2021 - Our paper Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support has been accepted for publication at Journal of Systems Architecture, Elsevier.

Open Positions


Cotutelle IRIT-University of Toulouse and Carleton University : Security Assurance Cases within System and Security Co-evolution in Cyber-Physical Systems


Master Internship positions