Tian Xie, Sihan Wang, Guan-Hua Tu, Chi-Yu Li, Xinyu Lei. Exploring the Insecurity of Google Account Registration Protocol via Model Checking. In IEEE Symposium Series on Computational Intelligence, SSCI 2019, Xiamen, China, December 6-9, 2019. pages 3087-3096, IEEE, 2019. [doi]
Abstract is missing.