Green: Falling through the KRACKs

Matthew Green exploresthe origins of the KRACK vulnerability."I don't want to spend much time talking about KRACK itself, becausethe vulnerability is pretty straightforward. Instead, I want to talk aboutwhy this vulnerability continues to exist so many years after WPA wasstandardized. And separately, to answer a question: how did this attackslip through, despite the fact that the 802.11i handshake was formallyproven secure?"