Dylan Marinho
7
Documents
Researcher identifiers
dylan-marinho
-
0000-0002-2548-6196
Presentation
Introduction
------------
Dylan is a PhD student at [*Université de Lorraine*](http://doctorat.univ-lorraine.fr/en), at the [IAEM Doctoral School](http://doctorat.univ-lorraine.fr/en/doctoral-schools/iaem) in computer science. He belongs to the [VeriDis](https://team.inria.fr/veridis/) team of the [LORIA](https://www.loria.fr/en/) and [Inria](https://www.inria.fr/en).
After a Bachelor’s degree and a first year of Master in computer science in the [*Université de Rennes 1*](http://www.univ-rennes1.fr), he has attended courses in the [*Institut d’Études Politiques de Rennes*](http://www.sciencespo-rennes.fr) (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*](http://www.ens-rennes.fr).
He joined [*Université de Lorraine*](http://doctorat.univ-lorraine.fr/en) and [LORIA](https://www.loria.fr/en/) in October 2020 for his PhD.
Interests
---------
- Computer virology
- Attack techniques and their detection
- Formal methods, model checking
Présentation
------------
Dylan est en préparation d’un doctorat au sein de l'[Université de Lorraine](http://doctorat.univ-lorraine.fr/fr) et de l’École doctorale [IAEM](http://doctorat.univ-lorraine.fr/fr/les-ecoles-doctorales/iaem/presentation) en Science Informatique. Il est rattaché l’équipe [VeriDis](https://team.inria.fr/veridis/) du [LORIA](https://www.loria.fr/fr/) et de l'[Inria](https://www.inria.fr/).
Après une Licence puis un Master 1 en Science Informatique (SIF) au sein de l'[Université de Rennes 1](http://www.univ-rennes1.fr), il a étudié pendant une année au sein de l'[Institut d’Études Politiques de Rennes](http://www.sciencespo-rennes.fr) (Sciences Po Rennes) au sein du Master 2 “Sécurité Défense et Intelligence Stratégique”. En parallèle, il a validé un Magistère d’Informatique au sein de l'[École Normale Supérieure de Rennes](http://www.ens-rennes.fr).
Il a rejoint l'[Université de Lorraine](http://doctorat.univ-lorraine.fr/fr) et le [LORIA](https://www.loria.fr/fr/) en octobre 2020 pour la préparation de sa thèse.
Intérêts
--------
- Virologie informatique
- Techniques d’attaque et leur détection
- Méthodes formelles, model checking
Publications
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 1
Guaranteeing Timed Opacity using Parametric Timed Model CheckingACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Journal articles
hal-03798157v1
|
strategFTO: Untimed control for timed opacity8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩
Conference papers
hal-03874435v1
|
|
Efficient Convex Zone Merging in Parametric Timed Automata20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩
Conference papers
hal-03772708v1
|
|
A Benchmarks Library for Extended Parametric Timed AutomataTAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
Conference papers
hal-03265573v1
|
|
Expiring opacity problems in parametric timed automata2023
Preprints, Working Papers, ...
hal-04151207v1
|
|
Désobscurcissement de prédicats opaquesInria Nancy - Grand Est. 2020
Reports
hal-04134856v1
|
|
Study of Common Sub-graphs of System Call Dependency Graphs for Malware ClassificationComputer Science [cs]. 2018
Master thesis
hal-03147651v1
|