A Comprehensive Formal Security Analysis of OAuth 2.0. / Fett, Daniel; Küsters, Ralf; Schmitz, Guido.

CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), 2016. p. 1204-1215 (Proceedings of the ACM Conference on Computer and Communications Security; Vol. 24-28-October-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

### Standard

A Comprehensive Formal Security Analysis of OAuth 2.0. / Fett, Daniel; Küsters, Ralf; Schmitz, Guido.

CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), 2016. p. 1204-1215 (Proceedings of the ACM Conference on Computer and Communications Security; Vol. 24-28-October-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

### Harvard

Fett, D, Küsters, R & Schmitz, G 2016, A Comprehensive Formal Security Analysis of OAuth 2.0. in CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Proceedings of the ACM Conference on Computer and Communications Security, vol. 24-28-October-2016, Association for Computing Machinery (ACM), pp. 1204-1215, 23rd ACM Conference on Computer and Communications Security, CCS 2016, Vienna, Austria, 24/10/16. https://doi.org/10.1145/2976749.2978385

### APA

Fett, D., Küsters, R., & Schmitz, G. (2016). A Comprehensive Formal Security Analysis of OAuth 2.0. In CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (pp. 1204-1215). (Proceedings of the ACM Conference on Computer and Communications Security; Vol. 24-28-October-2016). Association for Computing Machinery (ACM). https://doi.org/10.1145/2976749.2978385

### Vancouver

Fett D, Küsters R, Schmitz G. A Comprehensive Formal Security Analysis of OAuth 2.0. In CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM). 2016. p. 1204-1215. (Proceedings of the ACM Conference on Computer and Communications Security). https://doi.org/10.1145/2976749.2978385

### Author

Fett, Daniel ; Küsters, Ralf ; Schmitz, Guido. / A Comprehensive Formal Security Analysis of OAuth 2.0. CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), 2016. pp. 1204-1215 (Proceedings of the ACM Conference on Computer and Communications Security).

### BibTeX

@inproceedings{042fd52ffe05413fbc518a363ba808a7,
title = "A Comprehensive Formal Security Analysis of OAuth 2.0",
author = "Daniel Fett and Ralf K{\"u}sters and Guido Schmitz",
note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 23rd ACM Conference on Computer and Communications Security, CCS 2016 ; Conference date: 24-10-2016 Through 28-10-2016",
year = "2016",
month = oct,
day = "24",
doi = "10.1145/2976749.2978385",
language = "English",
series = "Proceedings of the ACM Conference on Computer and Communications Security",
publisher = "Association for Computing Machinery (ACM)",
pages = "1204--1215",
booktitle = "CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security",

}

### RIS

TY - GEN

T1 - A Comprehensive Formal Security Analysis of OAuth 2.0

AU - Fett, Daniel

AU - Küsters, Ralf

AU - Schmitz, Guido

PY - 2016/10/24

Y1 - 2016/10/24

UR - http://www.scopus.com/inward/record.url?scp=84995458933&partnerID=8YFLogxK

U2 - 10.1145/2976749.2978385

DO - 10.1145/2976749.2978385

M3 - Conference contribution

AN - SCOPUS:84995458933

T3 - Proceedings of the ACM Conference on Computer and Communications Security

SP - 1204

EP - 1215

BT - CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

PB - Association for Computing Machinery (ACM)

T2 - 23rd ACM Conference on Computer and Communications Security, CCS 2016

Y2 - 24 October 2016 through 28 October 2016

ER -