@misc{indiciaeee39b6b522a0,
  title = {Formal Methods Analysis of the Secure Remote Password Protocol},
  author = {Alan T. Sherman and Erin Lanus and Moses Liskov and Edward Zieglar and Richard Chang and Enis Golaszewski and Ryan Wnuk-Fink and Cyrus J. Bonyadi and Mario Yaksetig and Ian Blumenfeld},
  year = {2020},
  url = {https://arxiv.org/abs/2003.07421},
  note = {Source identifier: 2003.07421}
}