Dylan is a PhD-student at Université de Lorraine, at the IAEM Doctoral School in computer science. He belongs to the VeriDis team of the LORIA and Inria.

After a Bachelor’s degree and a first year of Master in computer science in the Université de Rennes 1, he has attended courses in the Institut d’Études Politiques de Rennes (Sciences Po Rennes) in a Master class of “Security Defense and Strategic Intelligence”. Simultaneously, he has performed a Magister’s degree in computer science at École Normale Supérieure de Rennes.

He joined Université de Lorraine and LORIA in October 2020 for his PhD.


  • Computer virology
  • Attack techniques and their detection
  • Formal methods, model checking


  • PhD in Computer Science, 2020 - 2023

    Université de Lorraine

  • Magister's degree in computer science, 2020

    École Normale Supérieure de Rennes

  • Master's degree in public policies, 2020

    Institut d'Études Politiques de Rennes

  • Master's degree (Master 1) in computer science, 2019

    Université de Rennes 1

Actual position

For complete experience list (including projects and internships), see the research page.


Université de Lorraine

Oct. 2020 – Present Nancy, France

Detecting timing attacks using formal methods

Under the supervision of Étienne André, in the VeriDis team and ProMiS project

Last talk

WannaFly: Dummy Ransomware for Red Team Exercises

Last Publication

Quickly discover relevant content by filtering publications.


Teaching E-mail


Research E-mail



Dylan Marinho
Équipe VeriDis, Bâtiment B
Campus Scientifique,
F54506 Vandœuvre-lès-Nancy Cedex


Loria: B206
IUT Charlemagne: 013