Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process

Pedram Hosseyni, Ralf Küsters, Tim Würtele. Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process. ACM Trans. Inf. Syst. Secur., 28(1), February 2025. [doi]

Abstract

Abstract is missing.