Using static analysis to validate the SAML single sign-on protocol.

Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson

Browse the full POPL paper archive.