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
41 * 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
14 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
12 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
5 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 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
Cryptology ePrint Archive, 2024
1 2024 The grant negotiation and authorization protocol: attacking, fixing, and verifying an emerging standard F Helmschmidt, P Hosseyni, R Küsters, K Pruiksma, C Waldmann, ...
European Symposium on Research in Computer Security, 222-242, 2023
1 2023 Entwurf und Analyse eines sicheren und effizienten Bulletin Board auf Basis von Blockchains T Würtele
1 2018 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 Formal security analysis of the OpenID FAPI 2.0 Security Profile with FAPI 2.0 Message Signing, FAPI-CIBA, Dynamic Client Registration and Management: technical report P Hosseyni, R Küsters, T Würtele
2023 Layered Symbolic Security Analysis in DY K Bhargavan, A Bichhawat, P Hosseyni, R Kuesters, K Pruiksma, ...
Cryptology ePrint Archive, 2023
2023 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
