Publications

Articles in peer-reviewed international journals

Articles in the proceedings of peer-reviewed international conferences

Articles in the proceedings of peer-reviewed national conferences

  • Dylan Marinho. Étude de propriétés d’opacité temporisée à l’aide de vérification temporisée paramétrée.

    Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2022). (2022)

    HAL

Articles subject to lightweight reviews

Theses

  • Dylan Marinho. Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (2022)

    PDF HAL Theses.fr Slides

Bachelor and master theses

  • Dylan Marinho. Defeating Opaque Predicates. (2020)

    Bib HAL
  • Dylan Marinho. Toward Semantic-Based Android Malware Detection Using Model Checking. (2019)

    Bib
  • Dylan Marinho. Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification. (2018)

    Bib HAL Slides