Formal Methods Analysis of the Secure Remote Password Protocol. - Alan T. Sherman; Erin Lanus; Moses Liskov; Edward Zieglar; Richard Chang 001; Enis Golaszewski; Ryan Wnuk-Fink; Cyrus J. Bonyadi; Mario Yaksetig; Ian Blumenfeld (Logic, Language, and Security, 2020)