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
1102016
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
662014
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
402017
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
332015
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
102015
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
72019
OAuth 2.0 security best current practice
T Lodderstedt, J Bradley, A Labunets, D Fett
May, 2018
62018
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
12018
Formalizing Security Aspects of the Web Platform in Alloy
D Fett, R Küsters
Diplomarbeit. Lehrstuhl für Informationssicherheit und Kryptografie …, 2011
12011
draft-ietf-oauth-security-topics-08
T Lodderstedt, J Bradley, A Labunets, D Fett
2018
Pi and more-eine veranstaltungsreihe rund um “kleine computer”
D Fett, G Schmitz
Informatik 2016, 2016
2016
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–17