Dylan Marinho

Recherche

Je suis Maître de Conférences à Sorbonne Université, dans l'équipe MoVe du LIP6. Mes travaux se situent à la croisée des méthodes formelles et de la sécurité : je m'intéresse aux systèmes temporisés (sous incertitude) et aux fuites d'information qu'ils peuvent révéler. J'utilise principalement des outils de model checking pour analyser et détecter des comportements malveillants.

• Analyse comportementale de programmes
• Virologie informatique
• Techniques d'attaques et leur détection
• Méthodes formelles, model checking

1. Revue internationaleOpacité et fuites temporelles

   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 2025Conférence internationaleOpacité et fuites temporelles

   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. Thèse de doctoratOpacité et fuites temporellesVérification temporisée paramétrée

   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