Automated Formal Security Analysis of SAML V2.0 Web Browser SSO Standard - POST/Artifact Use Case

Comprehensive formal security analysis of the SAML V2.0 SP-initiated SSO with POST/Artifact Bindings use case using the Tamarin prover.