Barbara Kordy

Supervision

Ph.D. students

Wojciech Wideł, IRISA, France, 2016-2019
Thesis: Analyzing the security of information systems: integrating reactive countermeasures into ADTrees
co-supervision with Gildas Avoine
Florent Tardif, IRISA, France, 2016-2018
Thesis: Cryptanalytic time-memory trade-offs on large spaces
co-supervision with Gildas Avoine
Maxime Audinot, IRISA, France, 2015-2018
Thesis: Analysis of physical threats by assisted generation 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

Sara Mihami, INSA Rennes, 2016-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

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