Barbara FILA


Research interests

My background is the field of foundations of computer science. My research focuses on the application of formal methods to the analysis of systems and real-life security problems. I am especially interested in security modeling, quantitative analysis of security as well as specification and verification of security protocols.

Current research topics

  • Attack trees and attack-defense trees
  • Security ceremonies in socio-technical systems
  • Security modeling and risk assessment
  • Specification and verification of security protocols
  • Password security
  • Time-memory trade offs in security


The list of my publications is available here.