Florence Wacheux

+33 (0)2 99 84 75 64
IRISA Rennes, Bat. 13, office 006


Attack trees: a notion of missing attacks

Sophie Pinchinat, Barbara Fila, Florence Wacheux, and Yann Thierry-Mieg
GraMSec 2019, 6th International Workshop on Graphical Models for Security, Hoboken, NJ, USA - June 24, 2019. Co-located with CSF 2019.

Deciding the non-emptiness of attack trees

Maxime Audinot, Sophie Pinchinat, François Schwarzentruber and Florence Wacheux
GraMSec 2018, 5th International Workshop on Graphical Models for Security, Oxford, UK - July 8, 2018 Co-located with CSF 2018, in conjunction with FLoC 2018.

Research Experience

Quantitative analysis of attack trees relying on the specification of the analyzed system

Research internship, February - July 2018
IRISA Rennes, LogicA

Generation of textual specifications of buildings from 3D plans

Research internship, May - July 2017
IRISA Rennes, LogicA

Other Experience

L Codent L Créent

March - April 2019
"L Codent L Créent" aims to teach the basis of programmation to middle school girls via Processing drawings. I participated as an instructor in 2019, and signed up for 2020.

Research engineer

August - September 2018
Development of a tool for handling attack trees.
Ouest Valorisation, IRISA Rennes, LogicA

Web developer

Student job, 2014 - 2016
Created and maintained websites for the agency’s clients, and for the agency itself.
Trait de Lumière


2011 - 2014
I had a few internships during my studies in audiovisual technologies. My work during these internships involved managing sound, light, and video for different kind of events (conferences, shows, trade fairs, exhibitions, ...).
Lille Grand Palais, Digital Vision, Vu et Entendu (now Alive! Events Amiens), Théatre d'Arras, Trait de Lumière


PhD in Computer Science

2018 - 2021
A multi-domain platform for the design and analysis of attack trees.
Université de Rennes 1, IRISA Rennes, LogicA

Master's degree in Computer Science

2016 - 2018
Université de Rennes 1

Bachelor’s degree in Computer Science

2014 - 2016
Université de Picardie Jules Vernes, Amiens

Vocational Bachelor’s degree in Audiovisual Technologies

2013 - 2014
IUT de Lens

Two-year technical degree in Audiovisual Technologies

2011 - 2013
Lycée Jean Rostand Roubaix