Year | Call | Project name | PI | Permanent staff | Budget |
---|---|---|---|---|---|
2020-2023 | ANR - NRF | ProMiS (Provable Mitigation of Side Channel through Parametric Verification) | Étienne André + Jun Sun | 5 | 276k€ (x2) |
All research positions
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