Folgen
Daniel Fett
Daniel Fett
yes.com
Bestätigte E-Mail-Adresse bei danielfett.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A comprehensive formal security analysis of OAuth 2.0
D Fett, R Küsters, G Schmitz
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
1792016
An expressive model for the Web infrastructure: Definition and application to the Browser ID SSO system
D Fett, R Küsters, G Schmitz
2014 IEEE Symposium on Security and Privacy, 673-688, 2014
812014
The web sso standard openid connect: In-depth formal security analysis and security guidelines
D Fett, R Küsters, G Schmitz
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 189-202, 2017
762017
Spresso: A secure, privacy-respecting single sign-on system for the web
D Fett, R Küsters, G Schmitz
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
442015
An extensive formal security analysis of the openid financial-grade api
D Fett, P Hosseyni, R Küsters
2019 IEEE Symposium on Security and Privacy (SP), 453-471, 2019
262019
OAuth 2.0 security best current practice
T Lodderstedt, J Bradley, A Labunets, D Fett
IETF Web Authorization Protocol, Tech. Rep. draft-ietf-oauth-security-topics-16, 2020
162020
Analyzing the BrowserID SSO system with primary identity providers using an expressive model of the web
D Fett, R Küsters, G Schmitz
European Symposium on Research in Computer Security, 43-65, 2015
132015
OAuth 2.0 Security Best Current Practice (draft-ietf-oauth-security-topics-16)
T Lodderstedt, J Bradley, A Labunets, D Fett
Internet Engineering Task Force (IETF), 2020
52020
The Web SSO Standard OpenID Connect: In-Depth Formal Analysis and Security Guidelines
D Fett, R Küsters, G Schmitz
arXiv preprint arXiv:1704.08539, 2017
42017
An expressive formal model of the web infrastructure
D Fett
22018
Pi and more-eine veranstaltungsreihe rund um “kleine computer”
D Fett, G Schmitz
Informatik 2016, 2016
12016
Formalizing Security Aspects of the Web Platform in Alloy
D Fett, R Küsters
Diplomarbeit. Lehrstuhl für Informationssicherheit und Kryptografie …, 2011
12011
FAPI 2.0: A High-Security Profile for OAuth and OpenID Connect
D Fett
Open Identity Summit 2021, 2021
2021
draft-ietf-oauth-security-topics-08
T Lodderstedt, J Bradley, A Labunets, D Fett
2018
Fletcher, Christopher 888 Focardi, Riccardo 281 Fogh, Anders
AC Aldaya, V Atlidakis, M Backes, S Banerjee, K Barton, AR Beresford, ...
CSF 2013
P Adão, T Amtoft, M Arapinis, A Askarov, K Bhargavan, NE Bordenabe, ...
Status Report: Formal Analysis of Web Security
K Bhargavan, A Bichhawat, QH Do, D Fett, R Küsters, G Schmitz
CSF 2017
M Alvim, J Alwen, O Arden, M Boreale, I Boureanu, M Chase, ...
CSF 2012
M Arapinis, A Askarov, N Broberg, M Bugliesi, S Calzavara, P Cerny, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19