Formal Methods Analysis of the Secure Remote Password Protocol.

Alan T. Sherman Erin Lanus Moses Liskov Edward Zieglar Richard Chang Enis Golaszewski Ryan Wnuk-Fink Cyrus J. Bonyadi Mario Yaksetig Ian Blumenfeld

Published in: CoRR (2020)

Keyphrases