• Published

  Cyber Security Foundations: Fundamentals, technology and society

  Martin, K., Happa, J., Mersinas, K. & Schmitz, G., 3/03/2025, London: Kogan Page. 304 p.

  Research output: Book/Report/Proceedings › Book

• Published

  Layered Symbolic Security Analysis in DY*

  Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

• Layered Symbolic Security Analysis in DY*

  Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 8/09/2023

  Research output: Other contribution

View all (20) »