Barbara Fila

Barbara Fila is an Associate Professor at the Institut National des Sciences Appliquées de Rennes (INSA Rennes) and a researcher at the Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) in Rennes, France. She is a member of the Security and Privacy (SPICY) project-team.

• Ph.D. in Computer Science, University of Orléans (2008)
• Habilitation (HDR), University of Rennes 1 (2021)

Her research focuses on the application of formal methods to security analysis, particularly in attack-defense trees, security ceremonies, and quantitative risk assessment. She has developed tools like SPTool for SAND attack tree equivalence checking and contributed to foundational work on security modeling frameworks.

Recent publications examine formal verification of security ceremonies, countermeasure optimization in attack trees, and probabilistic reasoning for security scenarios. She has received recognition for her work on attribute decoration in attack-defense trees (Excellence award, IGI Global 2012).

• Excellence award (IGI Global, 2012)

Barbara has supervised numerous Ph.D., Master's, and Bachelor students on topics such as security protocols, attack tree analysis, and risk assessment. She also organizes academic events like the GraMSec workshop series and serves on program committees for security conferences.