@article{srp,
  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},
  title     = {Formal Methods Analysis of the Secure Remote Password Protocol},
  journal   = {CoRR},
  volume    = {abs/2003.07421},
  year      = {2020},
  url       = {https://arxiv.org/abs/2003.07421},
  archivePrefix = {arXiv},
  eprint    = {2003.07421},
}