Send email Copy Email Address
PhD Student

Niklas Medinger

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Niklas Medinger

Year 2024

2024-10-14

Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols

Conference / Medium

ACM Conference on Computer and Communications Security (CCS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2020

2020-08

A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters

Conference / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page