Bonyadi, Cyrus Jian
5  Ergebnisse:
Personensuche X
?
2

Formal Methods Analysis of the Secure Remote Password Proto..:

, In: Logic, Language, and Security; Lecture Notes in Computer Science,
Sherman, Alan T. ; Lanus, Erin ; Liskov, Moses... - p. 103-126 , 2020
 
?
 
1-5