I am currently a PhD student, but aim to defend during 2025. My thesis is a conjoint work of LaBRI, Université de Bordeaux and Serma Safety and Security . The subject of my thesis is " Detecting physical vulnerabilities through automated binary analysis " and is supervised by Sébastien Ordas , Antoine Rollet and Grégoire Sutre.
|
|
Software Analysis
Symbolic Execution
Binary Analysis
Automata theory
Context-Free Grammars
SMT Theory
Software Verification
Vulnerability Detection
Interprocedural Analysis
Fault Injection
[SPIN 2023]
Accepted, not published yet (Early May)
An Efficient and Versatile Approach to Shortest
Path Problems in Interprocedural Programs
Introduction to research (12 hours)
I supervised the creation of a poster about shortest
path problems by a 3rd year student of the
ENSEIRB-MATMECA
Introduction to algorithmic (35 hours)
I was in charge of the whole integrated course and
created it from scratch (1st year at the
ENSEIRB-MATMECA)
Algorithmic project, imperative programming
(25 hours)
Supervision of practical work (1st year at the
ENSEIRB-MATMECA)
Internship (2 hours)
Oral examination of student after an internship (3rd
year at the ENSEIRB-MATMECA)
Introduction to algorithmic (17.5 hours)
I was in charge of half of the integrated course and
wrote parts of course under the supervision of
Sylvain Lombardy
(1st year at the ENSEIRB-MATMECA)
Object Approach (24 hours)
Supervision of practical work (1st year of Computer
Science Master at Université de Bordeaux)
Algorithmic project, functional programming
(25 hours)
Supervision of practical work (1st year at the
ENSEIRB-MATMECA)
Formal Methods and Applications (3 hours)
One-off intervention to present the
Binsec tool
during a course supervised by
Antoine Rollet.
Logic and Proofs (14 hours)
I was in charge of half of this course under the
supervision of
Frédéric Herbreteau
(1st year at the ENSEIRB-MATMECA)
Python Programming (24 hours)
Supervision of practical work (1st year of Bachelor
at Université de Bordeaux)
Computer Science tutoring (~50 hours)
Helping students with difficulties in computer
science (from 1st to 3rd year at Université de
Bordeaux)
SPIN 2025, Hamilton An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs
Semi-doc AFoDIB, Talence Guiding Symbolic Execution with A-star
SEFM 2023, Eindhoven Guiding Symbolic Execution with A-star
AFADL 2022, Vannes Analyse automatisée de binaires à la recherche de vulnérabilités matérielles
Vice-president of the AFoDIB (Association de la Formation Doctorale d' Informatique de Bordeaux )
French native speaker, fluent in english, advanced in german
Anything front-end related is not my strong suit (but you could already tell...)