DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code K Bhargavan, A Bichhawat, Q Do, P Hosseyni, R Küsters, G Schmitz, ...
EuroS&P 2021-6th IEEE European Symposium on Security and Privacy, 2021
33 * 2021 A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification QH Do, P Hosseyni, R Küsters, G Schmitz, N Wenzler, T Würtele
2022 IEEE Symposium on Security and Privacy (SP), 215-234, 2022
9 2022 An in-depth symbolic security analysis of the ACME standard K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
9 2021 DY⋆ Code Repository K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
URL: https://github. com/reprosec/dolev-yao-star, 2021
4 2021 A Tutorial-Style Introduction to DY★ K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the …, 2021
4 2021 Memory displays: investigating the effects of learning in the periphery T Dingler, C Giebler, U Kunze, T Wűrtele, N Henze, A Schmidt
Proceedings of the 5th ACM International Symposium on Pervasive Displays …, 2016
4 2016 Formal Security Analysis of the OpenID Financial-grade API 2.0 P Hosseyni, R Küsters, T Würtele
2 Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process P Hosseyni, R Küsters, T Würtele
37th IEEE Computer Security Foundations Symposium (CSF 2024), 2024
2024 Layered Symbolic Security Analysis in DY K Bhargavan, A Bichhawat, P Hosseyni, R Kuesters, K Pruiksma, ...
Cryptology ePrint Archive, 2023
2023 The Grant Negotiation and Authorization Protocol: attacking, fixing, and verifying an emerging standard F Helmschmidt, P Hosseyni, R Küsters, K Pruiksma, C Waldmann, ...
Cryptology ePrint Archive, 2023
2023 A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification Q Do, P Hosseyni, R Küsters, G Schmitz, N Wenzler, T Würtele
2022 IEEE Symposium on Security and Privacy (SP), 2022
2022 Entwurf und Analyse eines sicheren und effizienten Bulletin Board auf Basis von Blockchains T Würtele
2018 Kompression von numerischen Datensätzen mittels mehrdimensionaler hierarchischer Teilraumschemata T Würtele
2016 
Abhishek BichhawatAssistant Professor, IIT GandhinagarBestätigte E-Mail-Adresse bei iitgn.ac.in
