
Dylan Marinho
Maître de conférences @ Sorbonne Université
100%
Libre accès
8
Documents
Affiliations actuelles
- Laboratoire d'Informatique de Paris 6 (LIP6)
- Sorbonne Université (SU)
Identifiants chercheurs
Site web
Présentation
Présentation
Je suis Maître de conférences à Sorbonne Université. Pour mes activités de recherche, je suis membre du LIP6 au sein de l'équipe MoVe.
Après une lience et une première année de Master en Informatique à l'Université de Rennes 1, j'ai obtenu un Master de l'Institut d'Études Politiques de Rennes (Sciences Po Rennes) "Sécurité, Défense et Intelligence Stratégique". En parrallèle, j'ai obtenu un Magistère de l'École normale supérieure de Rennes. Finalement, j'ai reçu un doctorat en Informatique au sein de l'Université de Lorraine en 2023.
Intérêts
- Virologie informatique
- Techniques d’attaque et leur détection
- Méthodes formelles, model checking
Publications
5
2
2
1
1
1
1
5
4
2
1
1
1
1
Publications
|
Guaranteeing Timed Opacity using Parametric Timed Model CheckingACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Article dans une revue
hal-03798157
v1
|
|
Expiring opacity problems in parametric timed automata2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩
Communication dans un congrès
hal-04151207
v2
|
|
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⟩
Communication dans un congrès
hal-03772708
v1
|
|
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⟩
Communication dans un congrès
hal-03874435
v1
|
|
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⟩
Communication dans un congrès
hal-03265573
v1
|
|
Désobscurcissement de prédicats opaquesInria Nancy - Grand Est. 2020
Rapport
hal-04134856
v1
|
|
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertaintyComputer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0386⟩
Thèse
tel-04579320
v1
|
|
Study of Common Sub-graphs of System Call Dependency Graphs for Malware ClassificationComputer Science [cs]. 2018
Mémoire d'étudiant
hal-03147651
v1
|
Chargement...
Chargement...