Détection d’attaques temporisées à l’aide de méthodes formelles

Sous la supervision d'Étienne André, au sein de l’équipe VeriDis et du projet ProMiS

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis

Sous la supervision de Jean-Yves Marion

Toward Semantic-Based Android Malware Detection Using Model Checking

Sous la supervision de Nadia Tawbi et Josée Desharnais

Ghostbusters: Mitigating Spectre Attacks on a DBT-based Processor

Sous la supervision de Steven Derrien et Simon Rockiki

Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification

Sous la supervision de Axel Legay et Jean Quilbeuf