avatar

Niklas Medinger

Ph.D. Student
CISPA – Helmholtz Center for Information
nik (dot) medinger (at) gmail (dot) com


About Me

I am a Ph.D. student at CISPA Helmholtz Center for Information Security, supervised by Prof. Dr. Cas Cremers. Before starting my Ph.D., I finished a Bachelor’s degree in Cybersecurity at Saarland University under Prof. Dr. Cas Cremers and Dr. Robert Künnemann, and I enrolled in the Saarbrücken Graduate School of Computer Science.

Together with Aurora Naska and Cas Cremers, I have formally proven that modern messaging apps like Signal, iMessage, and WhatsApp cannot achieve full post-compromise security for end-users while being resistant against state loss that is caused by, for instance, an end-user losing their device.

Together with Alexander Dax and Cas Cremers, I have proposed novel security notions for key encapsulation mechanisms (KEMs) in the computational model of cryptography, created new, more realistic models for KEMs in the symbolic model of cryptography, and introduced a methodology to analyze protocols that use KEMs using the Tamarin Prover.

From August to November 2023, I have worked as an Applied Science Intern in the Automated Reasoning Group at Amazon Web Services, Santa Clara. There, I was supervised by Dimitra Giannakopoulou, Zvonimir Rakamaric, and Niloofar Razavi.

Together with Benjamin Kiesl-Reiter and Cas Cremers, I have created and proven secure an extensive formal model of IEEE’s 802.11 WPA2 protocol.

Research Interests

Publications

  1. Under Submission
    Impossibility Results for Post-Compromise Security in Real-World Communication Systems
    Cas Cremers, Niklas Medinger, and Aurora Naska
    Under Submission, 2025.
    PDF Code BibTex

  2. ACM CCS 2024
    Keeping Up with the KEMs: Stronger Security Notions for KEMs and automated analysis of KEM-based protocols
    Cas Cremers, Alexander Dax, and Niklas Medinger
    ACM Conference on Computer and Communications Security, 2024.
    PDF Code BibTex
    Distinguished Artifact Award

  3. USENIX Security 2020
    A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters
    Cas Cremers, Benjamin Kiesl-Reiter, and Niklas Medinger
    29th USENIX Security Symposium, 2020.
    PDF Code BibTex

Teaching