Formal Analysis of a Single Sign-On Protocol Implementation for Android.

Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong

Browse the full ICECCS paper archive.