Master's Thesis: "Security Analysis of the WPA2 KRACK patches" - View it on GitHub