An Expressive Model for the Web Infrastructure: Definition and
Application to the BrowserID SSO System

v1v2 (latest)

An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System

7 March 2014

ArXiv (abs)PDF HTML

Papers citing "An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System"

7 / 7 papers shown

Title
UPPRESSO: Untraceable and Unlinkable Privacy-PREserving Single Sign-On Services Chengqian Guo Jingqiang Lin Quanwei Cai Wei Wang Fengjun Li Qiongxiao Wang Jiwu Jing Binjie Zhao Fengjun Li 71 12 0 20 Oct 2021
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
An Extensive Formal Security Analysis of the OpenID Financial-grade API Daniel Fett Pedram Hosseyni Ralf Küsters 30 25 0 31 Jan 2019
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring Stefano Calzavara R. Focardi Matteo Maffei Clara Schneidewind M. Squarcina M. Tempesta 25 27 0 24 Jun 2018
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines Daniel Fett Ralf Küsters G. Schmitz 51 80 0 27 Apr 2017
A Comprehensive Formal Security Analysis of OAuth 2.0 Daniel Fett Ralf Küsters G. Schmitz 59 201 0 06 Jan 2016
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web Daniel Fett Ralf Küsters G. Schmitz 66 21 0 26 Nov 2014