TY  - RPRT
TI  - Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
AU  - Zvonimir Hartl
AU  - Ante Đerek
PY  - 2026
DO  - 10.1109/access.2025.3622379
UR  - https://arxiv.org/abs/2403.11859
ID  - 2403.11859
ER  -