Detecting timing attacks using formal methods

Under the supervision of Étienne André, in the VeriDis team and ProMiS project

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis

Under the supervision of Jean-Yves Marion

Toward Semantic-Based Android Malware Detection Using Model Checking

Under the supervision of Nadia Tawbi and Josée Desharnais

Ghostbusters: Mitigating Spectre Attacks on a DBT-based Processor

Under the supervision of Steven Derrien and Simon Rockiki

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

Under the supervision of Axel Legay and Jean Quilbeuf