Publications

13 publications · 14 co-authors including 3 abroad · 2018–2026 · also on DBLP, HAL, Google Scholar

Publications per year

Click a year to filter

All co-authors (14)

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
To appear, 2026
DOI Author version

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
Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing, Catania, Italy, 2025, pp. 1998–2006
DOI ACM Slides

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
2023
- 2024 PhD thesis award of the Académie Lorraine des Sciences (France), received in 2025
theses.fr PDF HAL Slides
ICECCS 2023International conferenceTimed opacity and timing leaksParametric timed verification
Expiring Opacity Problems in Parametric Timed Automata
Étienne André, Engel Lefaucheux, Dylan Marinho
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, Toulouse, France, 2023, pp. 451–469
DOI Author version HAL Slides
TiCSA@ETAPS 2023International conferenceTimed opacity and timing leaks
Conﬁguring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Sun Jun
Proceedings of the First Workshop on Trends in Conﬁgurable Systems Analysis, Paris, France, 2023, pp. 1–26
DOI Author version

FTSCS 2022International conferenceTimed opacity and timing leaks
strategFTO: Untimed Control for Timed Opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Auckland, New Zealand, 2022, pp. 27–33
DOI Author version ACM Slides
FORMATS 2022International conferenceParametric timed verification
Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, Warsaw, Poland, 2022, pp. 200–218
DOI Author version Zenodo Springer Slides
AFADL 2022National conferenceTimed opacity and timing leaks
Étude de propriétés d’opacité temporisée à l’aide de vériﬁcation temporisée paramétrée
Dylan Marinho
Approches Formelles dans l’Assistance au Développement de Logiciels, 2022
HAL
TOSEMInternational journalTimed opacity and timing leaksParametric timed verification
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho, Sun Jun
ACM Transactions on Software Engineering and Methodology, 2022, pp. 64:1–64:36
DOI Author version ACM Slides Poster

TAP 2021International conferenceParametric timed verification
A Benchmarks Library for Extended Timed Automata
Étienne André, Dylan Marinho, Jaco van de Pol
Proceedings of the 15th International Conference on Tests and Proofs, Held as Part of STAF 2021, Virtual Event, 2021, pp. 39–50
DOI Author version Zenodo Springer HAL Webpage Slides

Bachelor or master thesisBinary and malware analysis
Defeating Opaque Predicates
Dylan Marinho
2020
HAL

Bachelor or master thesisBinary and malware analysis
Toward Semantic-Based Android Malware Detection Using Model Checking
Dylan Marinho
2019

Bachelor or master thesisBinary and malware analysis
Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification
Dylan Marinho
2018
HAL Slides