| 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 | 24* | 2021 |
| 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 | 5 | 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 | 4 | 2022 |
| 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 |
| 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 | 2 | 2021 |
| 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 |
| A Tutorial-Style Introduction to DY KP Hosseyni, A Bichhawat, QH Do, R Küsters, G Schmitz, T Würtele Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the …, 2021 | | 2021 |
| 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 GandhinagarVerified email at iitgn.ac.in
