Fabien Dagnat, Associate Professor (HDR) at IMT Atlantique

The majority of my publications may be found on my hal page or on GoogleScholar. A more complete list is here.

Some basic information may be found on my institution page.

Page always under construction

Short bio

Fabien Dagnat has been a lecturer in the IT department of the IMT Atlantique in Brest since 2002. Doctor since 2001 and HDR since January 2016, he is the leader of the P4S team at Lab-STICC. His field of research and teaching, software engineering, concerns the methods, theories and tools that contribute to improving software development. Within this framework, his work is mainly focused on software safety and security. The aim is to help engineers produce quality software that will perform its functions safely (without bad behaviour) and securely (even in a hostile environment). Both formal and informal models and construction processes are at the heart of its research. After having supervised or co-supervised eleven PhD students, he is currently supervising four PhD students who have activities focused on security. From February 2009 to September 2009, he spent a study period at Airbus Defense and Space in Toulouse and then at Thales Alenia Space in Cannes. From August 2017 to August 2018, he spent a second study period in Atlanta, USA, at the Georgia Institute of Technology. Responsible for the IT option at Telecom Bretagne for six years and the collaborative software development option at IMT Atlantique (TAF DCL), he is now in charge of the distributed system development option. In teaching, he is responsible for teaching concurrent software development, programming languages and compilation.

Current students

  1. Yanis Allouch, 01/2025 –
    • Model-Based Security Consistency Management for Complex Systems
    • Keywords: security, software engineering, software evolution, model-driven engineering, SecDevOps
    • Co-advised with S. Martínez Perez and J-C. Bach
    • funded by ANR JCJC MODES
  2. Hugo Bourreau, 06/2024 –
    • Enhancing cybersecurity with digital twins and AI
    • Keywords: security, digital twin, AI
    • Co-advised with M-O. Pahl and F. Jaafar (UQAC co-superviser)
    • funded by chair CyberCNI and UQAC
  3. Ouail Derghal, 01/2024 –
    • Secure Continuous Deployment for the Cloud
    • Keywords: Secure deployment,
    • Co-advised with J-C. Bach
    • funded by PEPR Cloud, TrustInCloudS
  4. Bruno Mateu, 03/2022 –
    • Traceability of transformations in obfuscating compilers (Traçabilité des transformations dans les compilateurs obfuscants)
    • Keywords: Traceability, compilation, debugging process, LLVM
    • Co-advised with J-C. Bach
    • funded by Quarkslab

Past students

  1. Chahrazed Boudjemila, 1/2022 – 06/2025
    • Continuous Secure Evolution of Software Models (Evolution Continue et Sécurisée de Modèles lors Développement Logiciel)
    • Co-advised with S. Martínez Perez
    • co-funded by ARED Région Bretagne
  2. Benjamin Somers, 11/2020 – 05/2024
    • IT infrastructure modeling for risk identification and prevention (Modélisation d’infrastructure informatique pour l’identification et la prévention des risques)
    • Keywords: Infrastructure modeling, Risk management, Model federation, Formal verification, Safety and security
    • https://hal.science/tel-04650035v1
    • Co-advised with J-C. Bach
    • funded by Arkea
  3. Nicolas Szlifierski, 10/2016 – 12/2020
    • Safe control of obfuscation toolchains (Contrôle sûr de chaînes d’obfuscation logicielle)
    • Keywords: Obfuscation, Compilation chains, Domain-Specific Language, Formal semantics, Typing
    • https://hal.science/tel-03143040v1
    • funded by DGA
  4. Etienne Louboutin, 11/2016 – 1/2021
    • Software sensitivity to control flow hijack (Sensibilité de logiciels au détournement de flot de contrôle)
    • Keywords: Control flow hijack, Security-by-design, Sensitivity to attacks, Binary analysis
    • https://hal.science/tel-03135608v1
    • Co-advised with J-C. Bach
    • funded by chaire de cyberdéfense des systèmes navals
  5. Alexandre Gonzalves, 08/2019 – 06/2020
    • To refine symbolic and concrete deobfuscation of programs protected by opaque predicates (Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques)
    • Keywords: Obfuscation, Dynamic Symbolic Execution Engine, SMT Solver, Opaque Predicates
    • https://hal.archives-ouvertes.fr/tel-02927808
    • Defended on june the 2nd 2020
    • Co-advised with C. Fontaine
    • funded by DGA
  6. Bastien Sultan, 10/2015 – 08/2017
    • Maîtrise des Correctifs de Sécurité pour les Systèmes Navals
    • Not yet defended
    • Co-advised with C. Fontaine
    • funded by chaire de cyberdéfense des systèmes navals
    • Changed supervisor to Y. Kermarrec
  7. Sebastien Martinez, 10/2012 – 03/2016
  8. Fahad Golra, 01/2010 – 01/2014
  9. Xu Zhang, 09/2010 – 02/2012
    • Not defended
    • Co-advised with G. Simon
    • Official supervisor : A. Beugnard
    • Funded by fonds Carnots
  10. Tuan Anh Trinh, 12/2007 – 08/2011
  • Not defended
  • Official supervisor : A. Beugnard
  1. Meriem Belguidoum, 10/2004 – 02/2008
  • Conception d’une infrastructure pour un déploiement sûr et flexible des composants logiciels
  • Defended on february the 27th 2008
  • Official supervisor : G. Bernard
  • Funded by Orange