Daniel Fett
Daniel Fett
yes.com
Bestätigte E-Mail-Adresse bei danielfett.de - Startseite
TitelZitiert vonJahr
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
612016
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
542014
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
272015
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
182017
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
92015
Formalizing Security Aspects of the Web Platform in Alloy
D Fett, R Küsters
Diplomarbeit. Lehrstuhl für Informationssicherheit und Kryptografie …, 2011
12011
An Extensive Formal Security Analysis of the OpenID Financial-grade API
D Fett, P Hosseyni, R Küsters
arXiv preprint arXiv:1901.11520, 2019
2019
An expressive formal model of the web infrastructure
D Fett
2018
Pi and more-eine veranstaltungsreihe rund um “kleine computer”
D Fett, G Schmitz
Informatik 2016, 2016
2016
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–13