TY - RPRT TI - An Extensive Formal Security Analysis of the OpenID Financial-grade API AU - Daniel Fett AU - Pedram Hosseyni AU - Ralf Kuesters PY - 2019 UR - https://arxiv.org/abs/1901.11520 ID - 1901.11520 ER -