Daniel Fett

RFC, March, 2022

2021

FAPI 2.0: A High-Security Profile for OAuth and OpenID Connect.

[BibT_eX]

[DOI]

Proceedings of the Open Identity Summit 2021, Copenhagen, Denmark, Juni 1-2, 2021., 2021

2019

An Extensive Formal Security Analysis of the OpenID Financial-Grade API.

[BibT_eX]

[DOI]

Pedram Hosseyni

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018

An expressive formal model of the web infrastructure.

[BibT_eX]

[DOI]

PhD thesis, 2018

2017

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Pi and More - eine Veranstaltungsreihe rund um "kleine Computer".

[BibT_eX]

[DOI]

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

A Comprehensive Formal Security Analysis of OAuth 2.0.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2015, 2015

SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System.

[BibT_eX]

[DOI]