Profile picture

Dennis Dayanikli

Welcome to my Website!

About Me

I am a cryptographer at the Hasso Plattner Institute, specializing in the provable security of authentication protocols, with a particular focus on password-based authentication. My research centers on the design and formal analysis of secure protocols.

I am currently pursuing my PhD under the supervision of Anja Lehmann. Prior to that, I earned a Master's degree in Mathematics from Ulm University.

Publications

Virtual End-to-End Encryption: Analysis of the Doctolib Protocol
Dayanikli, D., Holz, L., Lehmann, A.
to appear at AsiaCCS 2025.
(Strong) aPAKE Revisited: Capturing Multi-User Security and Salting
Dayanikli, D., Lehmann, A.
IEEE European Symposium on Security and Privacy (EuroS&P), 2024.
[link]
Provable Security Analysis of the Secure Remote Password Protocol
Dayanikli, D., Lehmann, A.
37th IEEE Computer Security Foundations Symposium (CSF), 2024.
[link]
Password-Based Credentials with Security against Server Compromise
Dayanikli, D., Lehmann, A.
European Symposium on Research in Computer Security (ESORICS), 2023.
[link]

Teaching

I have been involved with teaching for the following graduate courses at the HPI.

Introduction to Cryptography
Lecture (TA), WS 20/21, WS 21/22, WS 22/23, WS 23/24, WS 24/25
Advanced Cryptography
Lecture (TA), SS21, SS22, SS23, SS24
Quantum-Safe Cryptography
Lecture, SS25
Cryptographic Protocols
Seminar, SS23, SS24
Security Analysis of Assertion Tokens in Single Sign-On Solutions
Masterproject, WS23/24
Current Topics in Group Messaging
Seminar, WS22/23
Password-based Authentication: Attacks & Defenses
Seminar, SS22

Contact & Links