%0 Conference Paper %1 conf/birthday/ShermanLLZCGWBY20 %A Sherman, Alan T. %A Lanus, Erin %A Liskov, Moses %A Zieglar, Edward %A Chang, Richard %A Golaszewski, Enis %A Wnuk-Fink, Ryan %A Bonyadi, Cyrus J. %A Yaksetig, Mario %A Blumenfeld, Ian %B Logic, Language, and Security %D 2020 %E Nigam, Vivek %E Kirigin, Tajana Ban %E Talcott, Carolyn L. %E Guttman, Joshua D. %E Kuznetsov, Stepan L. %E Loo, Boon Thau %E Okada, Mitsuhiro %I Springer %K dblp %P 103-126 %T Formal Methods Analysis of the Secure Remote Password Protocol. %U http://dblp.uni-trier.de/db/conf/birthday/scedrov2020.html#ShermanLLZCGWBY20 %V 12300 %@ 978-3-030-62077-6

@inproceedings{conf/birthday/ShermanLLZCGWBY20, added-at = {2023-08-06T00:00:00.000+0200}, author = {Sherman, Alan T. and Lanus, Erin and Liskov, Moses and Zieglar, Edward and Chang, Richard and Golaszewski, Enis and Wnuk-Fink, Ryan and Bonyadi, Cyrus J. and Yaksetig, Mario and Blumenfeld, Ian}, biburl = {https://www.bibsonomy.org/bibtex/25d4a739b27e259e35d72a62cb46abfd0/dblp}, booktitle = {Logic, Language, and Security}, crossref = {conf/birthday/2020scedrov}, editor = {Nigam, Vivek and Kirigin, Tajana Ban and Talcott, Carolyn L. and Guttman, Joshua D. and Kuznetsov, Stepan L. and Loo, Boon Thau and Okada, Mitsuhiro}, ee = {https://doi.org/10.1007/978-3-030-62077-6_9}, interhash = {ec6f741eb92b926ce0f59bb378bd1597}, intrahash = {5d4a739b27e259e35d72a62cb46abfd0}, isbn = {978-3-030-62077-6}, keywords = {dblp}, pages = {103-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:30.000+0200}, title = {Formal Methods Analysis of the Secure Remote Password Protocol.}, url = {http://dblp.uni-trier.de/db/conf/birthday/scedrov2020.html#ShermanLLZCGWBY20}, volume = 12300, year = 2020 }