skip to main content


Title: Exploring the Insecurity of Google Account Registration Protocol via Model Checking
Award ID(s):
1815636 1814551
NSF-PAR ID:
10356388
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
2019 IEEE Symposium Series on Computational Intelligence (SSCI)
Page Range / eLocation ID:
3087 to 3096
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found