Login / Signup
Niklas Medinger
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Computer Society
Security Measures
Wireless Lan
Formal Analysis
Top Venues
IACR Cryptol. ePrint Arch.
USENIX Security Symposium
</>
Publications
</>
Cas Cremers
,
Alexander Dax
,
Niklas Medinger
Keeping Up with the KEMs: Stronger Security Notions for KEMs.
IACR Cryptol. ePrint Arch.
2023 (2023)
Cas Cremers
,
Benjamin Kiesl
,
Niklas Medinger
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters.
USENIX Security Symposium
(2020)