Talks

Semantic Malware Detection by Deploying Graph Mining

Research projects

Year Call Project name PI Permanent staff
2020-2023 ANR - NRF ProMiS (Provable Mitigation of Side Channel through Parametric Verification) Étienne André + Jun Sun 5

Positions

All research positions

 
 
 
 
 

PhD

Université de Lorraine

Oct. 2020 – Present Nancy, France

Detecting timing attacks using formal methods

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

 
 
 
 
 

Research internship

LORIA

Apr. 2020 – Jul. 2020 Nancy, France

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis

Under the supervision of Jean-Yves Marion

 
 
 
 
 

Research internship

Université Laval

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

Toward Semantic-Based Android Malware Detection Using Model Checking

Under the supervision of Nadia Tawbi and Josée Desharnais

 
 
 
 
 

Research project

Inria

Sep. 2018 – May. 2019 Rennes, France

Ghostbusters: Mitigating Spectre Attacks on a DBT-based Processor

Under the supervision of Steven Derrien and Simon Rockiki

 
 
 
 
 

Research internship

Inria

May. 2018 – Jul. 2018 Rennes, France

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

Under the supervision of Axel Legay and Jean Quilbeuf