Contact
Universitaetsstrasse 38
70569 Stuttgart
Germany
Room: 2.434
2024
- Pedram Hosseyni, Ralf Küsters, and Tim Würtele, “Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process,” in 37th IEEE Computer Security Foundations Symposium (CSF 2024), 2024. To appear.
2023
- Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, and Tim Würtele, “The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard,” in 28th European Symposium on Research in Computer Security (ESORICS 2023), 2023. To appear.
- Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, and Tim Würtele, “The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard,” Cryptology ePrint Archive, Technical Report 2023/1325, 2023.
- Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, and Tim Würtele, “Layered Symbolic Security Analysis in DY*,” in 28th European Symposium on Research in Computer Security (ESORICS 2023), 2023. To appear.
- Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, and Tim Würtele, “Layered Symbolic Security Analysis in DY*,” Cryptology ePrint Archive, Technical Report 2023/1329, 2023.
2022
- Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, and Tim Würtele, “A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification,” in 43rd IEEE Symposium on Security and Privacy (S&P 2022), 2022, pp. 134–153.
2021
- Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “An In-Depth Symbolic Security Analysis of the ACME Standard,” Cryptology ePrint Archive, Technical Report 2021/1457, 2021.
- Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “A Tutorial-Style Introduction to DY*,” in Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday., vol. 13066, D. Dougherty, J. Meseguer, S. A. Mödersheim, and P. Rowe, Eds. Springer, 2021, pp. 77--97.
- Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, and Tim Würtele, “A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification,” Cryptology ePrint Archive, Technical Report 2021/1012, 2021.
- Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “An In-Depth Symbolic Security Analysis of the ACME Standard,” in ACM Conference on Computer and Communications Security (CCS 2021), 2021, pp. 2601–2617.
- Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code,” in IEEE European Symposium on Security and Privacy (EuroS&P 2021), 2021, pp. 523–542.
2016
- Tilman Dingler, Corinna Giebler, Ulf Kunze, Tim Würtele, Niels Henze, and Albrecht Schmidt, “Memory displays: investigating the effects of learning in the periphery,” in Proceedings of the 5th ACM International Symposium on Pervasive Displays, PerDis 2016, Oulu, Finland, June 20 - 22, 2016, 2016, pp. 118--123.
-----BEGIN PGP PUBLIC KEY BLOCK----- mQGNBFtz/b8BDADi/NJ2BwjTghKard+kEk4vz7tqzaT2XAwhBELSOcpP2OMCr3c/ afmeNoLvnz0nTyX+fM58vIm2Kn6Y0E1zMjMPkgWcsMzCOywiGqPCUYkt/lBIpoJO ble4Eo8krGUhZQLvmFGgki2k/kefwQ3o50YYWU8P5Iv//moknkUBRybBxAkpLQ8F CBtKvsT1RAT7bvfY4nK4CVPiF9Nq/AGIQfLdw0OI1xtBYvmSXhVhn1Ku/n02VGt0 KkLzNpBXDZMLnLLlYLpjSH+FMfz3QdgQbI3OhciWMj68iLjXKUnD653iwUy3Q0Jc F0k9uzFrAH+QPI+bofJBULoAzYJpf+flvAoU3O6N6aJsHsQbkv+tGWnK+M2zRnAr aVypWIWdIh18MmoE0x5C353KoLpDxblmiFvovJxh4RkWChSu1H0RvSw5rxq8bDCn 1m5eLMccJGMG3wyxY4XJIh+Rya5aqZi9/D4STYAKRUuXOV38uUpGvopAR39dgaFL SxJzqu+nGH6nI5MAEQEAAbQwVGltIFfDvHJ0ZWxlIDx0aW0ud3VlcnRlbGVAc2Vj LnVuaS1zdHV0dGdhcnQuZGU+iQHUBBMBCAA+FiEErxhCNK+hevgDx5qz/M/aqbNZ SsUFAltz/cECGwMFCQHhM4AFCwkIBwIGFQoJCAsCBBYCAwECHgECF4AACgkQ/M/a qbNZSsX2gwwAn6a1bP1RnvL9tMsuzveXKnDfAgaIyIRqFiokavwNFj6muojac4yw XpBzAbGppKu+xxQAwKI3lw4KXPRVOy+Oome9IYl0B4gAK1Z9mSocn3HYZRxlhD9H ERpWwvcr0f16Ntj3MZC18e3avN9Ez8cbdLEVD1AS+pZgK9OYwOQfJglkyWzcTE60 I9O1JMrK3//n6sThOWL/3JpEgjYZ5VgBJs9lESNrqfqamGXhQ0LcRaakoVonnYgo lxF/uRTjwFCfhs09uTOIFeTP7qE3l59RZf+n4gzfYvLaCGAUXck4ejRhrdTLa4oI U8lZn5KRMPGsLP9zNWseou0kpgnFUwVh6UNLgI/J9zl0iDpsYVbyqKXvWbDOI7CM Cyz7q9sDBG0crmd+s2R67Z+f9gK4MO4MKdQmdLTnFD6aL4qnjXNic2SsHMZCzIQ4 Mu+xxf0SSoq+nL4o4pitNouSi2M/ObCiRcSSXS+ARJwiMr5V4RuGBJzNgqCMrG21 gRu2SMG0C1VYuQGNBFtz/cABDADZxveGbnHtnqJVPpvspqOM+v702fOJIVG2mD1k 6Ao7dYoUk2Jz6cngus39JqcfNLBzy3wqymCH73aD7Odu/h0ex7F79Ug++cgVdUl9 YlN6VsxFhgTh81LssqUwV+2/aRW5boHLU9ZAv4mrSZdFD58JMjznmV7vfNF+neCU NuZbHTziS5hzDq5sA736QY3WN8N1+hllwAM4L9fMEnOmPbtuwG4jf69nxCxwnqf8 vAS4hE0n7aNndV+Z/X03Fn1vOy73Og3En92bLJJAgMFJgP8vhF9OxIh6cF3Epx6r 0obP4z5hAHdlfqfSEY99GjlbEoGkP1UVV0nEPwmUfYwqSHvb8UcfcHqeUJC7TU01 ED+UZRGQK+BZTttlDctQZnaXIWWtKUFhF0goOOtAXkrd/WskrCxmtJC44FzRdtf3 28eb7643olBlyQCnbrMCCcfkLTGUvfD892RgAbN6HpPCJ4+sa/g6N3bdfnWUF3rb BQ95AUZ6RTHVwAGo2r6AIdFoCy0AEQEAAYkBvAQYAQgAJhYhBK8YQjSvoXr4A8ea s/zP2qmzWUrFBQJbc/3AAhsMBQkB4TOAAAoJEPzP2qmzWUrFh4wL/RJ7/J3z9Nnt UEjp7uzpQoojtpV9XJZvaHpvqm254U6yMMXm8Fvug7qk6mhcltZDAgk/XkctpKOv +2zat1ihipGFt5Oir5tefj7j0zfWL9ZX+n0yhFN0aCHD3k3E3lTLfZ2C0DuLYooP f654xxrCZ8HcMWYp/dVfGaXuj2hEMMdz8FRhv6RwU/Obydgr0Nzk/NGuO/to+zsF 3QCkkzU8upL+76wGNdr6haxo8YARbGDSSYkrSXNbFd3KvqNS49eTAOD4F+D/5ekM lVZhlSfbzk5lKCX0PbnGWcKC5jWtWOYdpWOjDFJp4dvmfyUbf93ozuyeXOLsZGb5 9VFE/HqeY/ejn9LHR9o5HxU7Fluepok243ENEwiSVoLnovADh6Pc3H4kw9sQSmUS F4dSFosTE6m84G+HKWD01SRfeVCSRHezPJ+bdV/w4KltSJeHrtNdigf5TqhudncK v/PFapB0OyWGXj775e7q7+Zcidv6lHUqfijxDHa+mdoQRnLHfrnvjA== =0s1Z -----END PGP PUBLIC KEY BLOCK-----