Towards Automated Auditing for Account and Session Management Flaws in Single Sign-On Deployments | IEEE Conference Publication | IEEE Xplore