Publications

Quickly discover relevant content by filtering publications.
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol (2022). Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022.

DOI Springer

Étienne André, Didier Lime, Dylan Marinho, Sun Jun (2022). Guaranteeing timed opacity using parametric timed model checking. TOSEM.

Poster Slides DOI ACM PDF (author version)

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho (2022). strategFTO: Untimed control for timed opacity. FTSCS'22.

Étienne André, Dylan Marinho, Jaco van de Pol (2021). A Benchmarks Library for Extended Timed Automata. TAP’21.

Project DOI Springer HAL PDF (author version) Data Webpage

Dylan Marinho (2018). Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification.

PDF Slides HAL

Talks

Guaranteeing Timed Opacity using Parametric Timed Model Checking
Jun 9, 2022 Vannes, France
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Mar 31, 2022 Lille, France
WannaFly: Dummy Ransomware for Red Team Exercises
Oct 25, 2021 — Oct 29, 2021 CIRM
A Benchmarks Library for Extended Timed Automata
Jun 21, 2021 — Jun 22, 2021 Online
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Feb 8, 2021 — Feb 12, 2021 Online
Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification (FR)
Jan 7, 2019 Lycée Notre-Dame-des-Missions
Semantic Malware Detection by Deploying Graph Mining
May 16, 2018 École Normale Supérieure de Rennes

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)

Software development

*
All Current

IMITATOR

IMITATOR is a software tool for parametric verification and robustness analysis of real-time systems with parameters. It relies on the formalism of networks of parametric timed automata, augmented with rational-valued global variables, stopwatches, multi-rate clocks, and some other useful features.
GitHub
IMITATOR

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