• 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

• Published

  A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

  Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEE

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

• Published

  Privacy-preserving Web single sign-on: Formal security analysis and design

  Schmitz, G., 26/04/2022, In: IT - Information Technology. 64, 1-2, p. 43-48 6 p.

  Research output: Contribution to Journal/Magazine › Journal article › peer-review

View all (18) »