Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld. Formal Methods Analysis of the Secure Remote Password Protocol. In Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada, editors, Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Volume 12300 of Lecture Notes in Computer Science, pages 103-126, Springer, 2020. [doi]
@inproceedings{ShermanLLZCGWBY20,
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},
doi = {10.1007/978-3-030-62077-6_9},
url = {https://doi.org/10.1007/978-3-030-62077-6_9},
researchr = {https://researchr.org/publication/ShermanLLZCGWBY20},
cites = {0},
citedby = {0},
pages = {103-126},
booktitle = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday},
editor = {Vivek Nigam and Tajana Ban Kirigin and Carolyn L. Talcott and Joshua D. Guttman and Stepan Kuznetsov and Boon Thau Loo and Mitsuhiro Okada},
volume = {12300},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-62077-6},
}