A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters. - Cas Cremers; Benjamin Kiesl; Niklas Medinger (USENIX Security Symposium, 2020)

Keeping Up with the KEMs: Stronger Security Notions for KEMs. - Cas Cremers; Alexander Dax; Niklas Medinger (IACR Cryptol. ePrint Arch., 2023)

Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols. - Cas Cremers; Alexander Dax; Niklas Medinger (CCS, 2024)

Impossibility Results for Post-Compromise Security in Real-World Communication Systems. - Cas Cremers; Niklas Medinger; Aurora Naska (IACR Cryptol. ePrint Arch., 2024)