Modeling Wi-Fi Protected Setup Brute-Force Mitigations Using Markov Chains Progress Summary Lloyd Jones Progress Summary Lloyd Jones.