Formal Methods Analysis of the Secure Remote Password Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alan T. Sherman' in GoogleThis author has not been identified. Look up 'Erin Lanus' in GoogleThis author has not been identified. Look up 'Moses Liskov' in GoogleThis author has not been identified. Look up 'Edward Zieglar' in GoogleThis author has not been identified. Look up 'Richard Chang' in GoogleThis author has not been identified. Look up 'Enis Golaszewski' in GoogleThis author has not been identified. Look up 'Ryan Wnuk-Fink' in GoogleThis author has not been identified. Look up 'Cyrus J. Bonyadi' in GoogleThis author has not been identified. Look up 'Mario Yaksetig' in GoogleThis author has not been identified. Look up 'Ian Blumenfeld' in Google

runs on WebDSL