Barbara FILA

Slava Ukraini!

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

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


The list of my publications is available here.