Barbara FILA

Supervision

Ph.D. students

Sadia Shamas, IRISA, INSA Rennes, France, 2021-2024
Thesis: Design and Formal Analysis of Ceremonies for Socio-technical Systems
co-supervision with Saša Radomirović,
cotutelle project between INSA Rennes and the Heriot-Watt University, Edinburgh, Scotland
Wojciech Wideł, IRISA, INSA Rennes, France, 2016-2019
Thesis: Formal modeling and quantitative analysis of security using attack-defense trees
co-supervision with Gildas Avoine
Florent Tardif, IRISA, University Rennes 1, France, 2016-2019
Thesis: Cryptanalytic time-memory trade-offs on large spaces
co-supervision with Gildas Avoine
Maxime Audinot, IRISA, University Rennes 1, France, 2015-2018
Thesis: Assisted design and analysis of attack trees
co-supervision with Sophie Pinchinat
Patrick Schweitzer, University of Luxembourg, 2010-2013
Thesis: Attack-defense trees
co-supervision with Sjouke Mauw

Master students

Bertrand Denis, CentraleSupelec, 2017
Thesis: Attack trees for risk analysis
co-supervision with Orange Cyberdefense
Angèle Bossuat, University Rennes 1, 2017
Thesis: Attack-defense trees for computer security: formal modeling of preventive and reactive countermeasures
Amaury Vansyngel, University of Bordeaux, 2015
Thesis: Light Formal Verification for OCaml
co-supervision with Thomas Genet
Jean-Paul Weber, University of Luxembourg, 2011
Thesis: Evaluation of Attributes on Attack-Defense Trees

Bachelor and engineer students

Aurélien Roussel, INSA Rennes, 2021
Project: Rewriting for security ceremonies
Jean-Loup Hatchikian-Houdot, INSA Rennes, 2019
Project: Cybersecurity scripts
Nicolas Heutte, École Polytechnique (X), 2018
Project: Linear programming on attack–defense trees
Sara Mihami, INSA Rennes, 2017
Project: Attack-defense tree library
Baptiste Bignon, INSA Rennes, 2016
Project: Password security
Yoann Van den Boom, University Rennes 1, 2015
Project: Attack tree equivalence
co-supervision with Thomas Genet
Vipul Nirwani, I.I.T. New Delhi, 2007
Project: Linear Strategy for the Evaluation of XPath
co-supervision with Siva Anantharaman
Chadaï Fouché, ENS Lyon, 2006
Project: Automata for Querying and Analysing Compressed Documents
co-supervision with Siva Anantharaman

Student projects

BowTie++: combined safety and security risks analysis, INSA Rennes, 2020-2021
One year project executed by the 4th year computer science students,
co-supervised with Per Håkon Meland (SINTEF, Norway)
Towards an efficient verification of security protocols, INSA Rennes, 2019-2020
One year project executed by the 4th year computer science students,
co-supervised with Stéphanie Delaune (CNRS)
OptiTool - how to secure your system in an optimal way, INSA Rennes, 2018-2019
One year project executed by the 4th year computer science students
Tool to support risk analysis process, integrating EBIOS, Common Criteria, and attack trees, INSA Rennes, 2017-2018
One year project executed by the 4th year computer science students
Reveal private information in social networks, INSA Rennes, 2016-2017
One year project executed by the 4th year computer science students
Multiparameter evaluation of attack-defense trees, INSA Rennes, 2016-2017
One year project executed by the 4th year mathematics students
co-supervision with Mounir Haddou
Software for Multi-party Contract Signing, INSA Rennes, 2015-2016
One year project executed by the 4th year computer science students
co-supervision with Gildas Avoine
Game theory for risk analysis, INSA Rennes, 2015-2016
One year project executed by the 4th year mathematics students
co-supervision with Jérémy Omer
Is it hard to block the public transport in Rennes?, INSA Rennes, 2014-2015
Project of 4th year computer science students
co-supervision with Gildas Avoine