R
Ralf Kuesters
Researcher at University of Stuttgart
Publications - 7
Citations - 164
Ralf Kuesters is an academic researcher from University of Stuttgart. The author has contributed to research in topics: Authentication & HTML5. The author has an hindex of 4, co-authored 7 publications receiving 127 citations. Previous affiliations of Ralf Kuesters include University of Kiel.
Papers
More filters
Posted Content
A Comprehensive Formal Security Analysis of OAuth 2.0
TL;DR: This paper carries out the first extensive formal analysis of the OAuth 2.0 standard in an expressive web model and shows that the fixed version of OAuth provides the authorization, authentication, and session integrity properties the authors specify.
Posted Content
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System
TL;DR: This work proposes a formal model for the web infrastructure, and uses it to carry out the first rigorous analysis of the Browser ID system, a recently developed complex real-world single sign-on system that employs technologies such as AJAX, cross-document messaging, and HTML5 web storage.
Posted Content
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web
TL;DR: This paper proposes the first privacy-respecting SSO system for the web, called SPRESSO (for Secure Privacy-REspecting Single Sign-On), and carries out a formal analysis of SpressO based on an expressive model of the web in order to formally prove that SPRESSo enjoys strong authentication and privacy properties.
Posted Content
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web
TL;DR: This paper analyzes the security of the secondary IdP mode of BrowserID and identifies and proves important security properties of generic web features in the extended web model to facilitate future analysis efforts of web standards and web applications.
Posted Content
Implementing a Unification Algorithm for Protocol Analysis with XOR
TL;DR: In this paper, a unification algorithm for the theory $E$ which combines unification algorithms for $E\{\std}$ and$E\_{\ACUN}$ (ACUN properties, like XOR) was proposed.