KRACK, WPA2 & Unforeseen Behavior