Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.

Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Llanos Tobarra

Browse the full CCS paper archive.