Barbara Kordy

Research

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 modeling and risk assessment
  • Formal methods for security
  • Specification and verification of security protocols
  • Time-memory trade offs in security
  • Passwords security

Publications

The list of my publications is available here.