TY  - RPRT
TI  - Formal Methods Analysis of the Secure Remote Password Protocol
AU  - Alan T. Sherman
AU  - Erin Lanus
AU  - Moses Liskov
AU  - Edward Zieglar
AU  - Richard Chang
AU  - Enis Golaszewski
AU  - Ryan Wnuk-Fink
AU  - Cyrus J. Bonyadi
AU  - Mario Yaksetig
AU  - Ian Blumenfeld
PY  - 2020
UR  - https://arxiv.org/abs/2003.07421
ID  - 2003.07421
ER  -