Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong. Formal Analysis of a Single Sign-On Protocol Implementation for Android. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 90-99, IEEE, 2015. [doi]
Abstract is missing.