Projects de recherche

Année Appel Nom du projet Porteur(s) Permanents
2020-2023 ANR - NRF ProMiS (Provable Mitigation of Side Channel through Parametric Verification) Étienne André + Jun Sun 5

Positions

 
 
 
 
 

Doctorat

Université de Lorraine

Oct. 2020 – Actuellement Nancy, France

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

 
 
 
 
 

Stage de recherche

LORIA

Apr. 2020 – Jul. 2020 Nancy, France

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis

Sous la supervision de Jean-Yves Marion

 
 
 
 
 

Stage de recherche

Université Laval

May. 2019 – Jul. 2019 Québec, QC, Canada

Toward Semantic-Based Android Malware Detection Using Model Checking

Sous la supervision de Nadia Tawbi et Josée Desharnais

 
 
 
 
 

Projet de recherche

Inria

Sep. 2018 – May. 2019 Rennes, France

Ghostbusters: Mitigating Spectre Attacks on a DBT-based Processor

Sous la supervision de Steven Derrien et Simon Rockiki

 
 
 
 
 

Stage de recherche

Inria

May. 2018 – Jul. 2018 Rennes, France

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

Sous la supervision de Axel Legay et Jean Quilbeuf