Login / Signup
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters.
Cas Cremers
Benjamin Kiesl
Niklas Medinger
Published in:
USENIX Security Symposium (2020)
Keyphrases
</>
formal analysis
formal methods
agent model
wireless lan
intelligent agent technology
low cost
web intelligence
floating point
computer society