Sherman, et al.. Formal Methods Analysis of the Secure Remote Password Protocol. 16 Mar. 2020.