Année | Appel | Nom du projet | Porteur(s) | Permanents | Budget |
---|---|---|---|---|---|
2020-2023 | ANR - NRF | ProMiS (Provable Mitigation of Side Channel through Parametric Verification) | Étienne André + Jun Sun | 5 | 276k€ (x2) |
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