Dylan Marinho

Research

I am an Associate Professor at Sorbonne Université, in the MoVe team of LIP6. My work combines formal methods and security: I study timed systems (under uncertainty) and the information leaks they may expose. I use model checking tools to analyse and detect malicious behaviour in programs.

• Behavioral analysis of programs
• Computer virology
• Attack techniques and their detection
• Formal methods, model checking

1. International journalTimed opacity and timing leaks

   Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems

   Jean Leneutre, Dylan Marinho, Vadim Malvone, James Ortiz

   DOI Author version BibTeX
2. SAC 2025International conferenceTimed opacity and timing leaks

   Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

   Étienne André, Jean-Luc Bechennec, Sudipta Chattopadhyay , Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Sun Jun

   DOI ACM Slides BibTeX
3. PhD thesisTimed opacity and timing leaksParametric timed verification

   Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty

   Dylan Marinho

   theses.fr PDF HAL Slides BibTeX