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ć (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++ in action,
INSA Rennes, 2021-2022 |
|
One year project executed by the 4th year computer science students, co-supervised with Per Håkon Meland (SINTEF, Norway) |
|
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 |