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

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

Daniel Fett
Pedram Hosseyni
Ralf Küsters
ArXiv (abs)PDFHTML

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

6 / 6 papers shown
Title
SOAP: A Social Authentication Protocol
SOAP: A Social Authentication Protocol
Felix Linker
David Basin
20
1
0
05 Feb 2024
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
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
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
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
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
Language-Based Web Session Integrity
Stefano Calzavara
R. Focardi
Niklas Grimm
Matteo Maffei
M. Tempesta
23
3
0
28 Jan 2020