Core Concepts
Formal security analysis of SAML V2.0 SP-initiated SSO with POST/Artifact Bindings.
Stats
"SAML V2.0 has emerged as the predominant SSO framework in government, education, and enterprise environments."
"Tamarin prover is a state-of-the-art tool for symbolic modeling and automated analysis of security protocols."
"28 security properties were considered and verified for each of the 8 protocol variants."
Quotes
"Despite its mission-critical nature, SAML V2.0 has received very little attention from the formal methods community."
"The analysis presented in this paper bridges the gap by performing a comprehensive formal security analysis."