Publications

Quickly discover relevant content by filtering publications.
(2022). Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022.

DOI Springer

Research projects

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)

Evaluations

Reviewer

2022

2021

Artifact evaluation committee

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