Obserwuj
Niklas Medinger
Niklas Medinger
CISPA
Zweryfikowany adres z cispa.de
Tytuł
Cytowane przez
Cytowane przez
Rok
A Formal Analysis of {IEEE} 802.11's {WPA2}: Countering the Kracks Caused by Cracking the Counters
C Cremers, B Kiesl, N Medinger
29th USENIX Security Symposium (USENIX Security 20), 1-17, 2020
422020
Keeping Up with the KEMs: Stronger Security Notions for KEMs.
C Cremers, A Dax, N Medinger
CISPA, 2023
12023
Keeping Up with the KEMs: Stronger Security Notions for KEMs and automated analysis of KEM-based protocols
C Cremers, A Dax, N Medinger
Cryptology ePrint Archive, 2023
12023
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–3