An Extensive Formal Security Analysis of the OpenID Financial-grade API

31 January 2019

Papers citing "An Extensive Formal Security Analysis of the OpenID Financial-grade API"

6 / 6 papers shown

Title
SOAP: A Social Authentication Protocol Felix Linker David Basin 23 1 0 05 Feb 2024
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms Lorenzo Veronese Benjamin Farinier Pedro Miguel Sousa Bernardo M. Tempesta M. Squarcina Matteo Maffei 20 4 0 05 Jan 2022
A Survey of Practical Formal Methods for Security T. Kulik Brijesh Dongol P. Larsen H. D. Macedo S. Schneider P. Tran-Jørgensen James Woodcock 73 37 0 03 Sep 2021
Security Analysis of the Open Banking Account and Transaction API Protocol P. Modesti Leo Freitas Qudus Shotomiwa Abdulaziz Almehrej 27 1 0 28 Mar 2020
EL PASSO: Privacy-preserving, Asynchronous Single Sign-On Zhiyi Zhang M. Król A. Sonnino Lixia Zhang E. Rivière 63 28 0 24 Feb 2020
Language-Based Web Session Integrity Stefano Calzavara R. Focardi Niklas Grimm Matteo Maffei M. Tempesta 23 3 0 28 Jan 2020