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

DOI Springer

(2022). strategFTO: Untimed control for timed opacity. FTSCS'22.

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)





Artifact evaluation committee


All research positions



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


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


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


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