A Comprehensive Symbolic Analysis of TLS 1.3. / Cremers, Cas; Horvat, Marko; Hoyland, Jonathan; Scott, Samuel; van der Merwe, Thyla.

ACM SIGSAC Conference on Computer and Commuincations Security. ACM, 2017. p. 1773-1788.

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

Published

Standard

A Comprehensive Symbolic Analysis of TLS 1.3. / Cremers, Cas; Horvat, Marko; Hoyland, Jonathan; Scott, Samuel; van der Merwe, Thyla.

ACM SIGSAC Conference on Computer and Commuincations Security. ACM, 2017. p. 1773-1788.

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

Harvard

Cremers, C, Horvat, M, Hoyland, J, Scott, S & van der Merwe, T 2017, A Comprehensive Symbolic Analysis of TLS 1.3. in ACM SIGSAC Conference on Computer and Commuincations Security. ACM, pp. 1773-1788. https://doi.org/10.1145/3133956.3134063

APA

Cremers, C., Horvat, M., Hoyland, J., Scott, S., & van der Merwe, T. (2017). A Comprehensive Symbolic Analysis of TLS 1.3. In ACM SIGSAC Conference on Computer and Commuincations Security (pp. 1773-1788). ACM. https://doi.org/10.1145/3133956.3134063

Vancouver

Cremers C, Horvat M, Hoyland J, Scott S, van der Merwe T. A Comprehensive Symbolic Analysis of TLS 1.3. In ACM SIGSAC Conference on Computer and Commuincations Security. ACM. 2017. p. 1773-1788 https://doi.org/10.1145/3133956.3134063

Author

Cremers, Cas ; Horvat, Marko ; Hoyland, Jonathan ; Scott, Samuel ; van der Merwe, Thyla. / A Comprehensive Symbolic Analysis of TLS 1.3. ACM SIGSAC Conference on Computer and Commuincations Security. ACM, 2017. pp. 1773-1788

BibTeX

@inproceedings{6432e0ff19f344bebcfe82c561b7ad1f,
title = "A Comprehensive Symbolic Analysis of TLS 1.3",
keywords = "symbolic verificaiton, authenticated key exchange, TLS 1.3",
author = "Cas Cremers and Marko Horvat and Jonathan Hoyland and Samuel Scott and {van der Merwe}, Thyla",
year = "2017",
month = oct,
day = "30",
doi = "10.1145/3133956.3134063",
language = "English",
isbn = "978-1-4503-4946-8",
pages = "1773--1788",
booktitle = "ACM SIGSAC Conference on Computer and Commuincations Security",
publisher = "ACM",

}

RIS

TY - GEN

T1 - A Comprehensive Symbolic Analysis of TLS 1.3

AU - Cremers, Cas

AU - Horvat, Marko

AU - Hoyland, Jonathan

AU - Scott, Samuel

AU - van der Merwe, Thyla

PY - 2017/10/30

Y1 - 2017/10/30

KW - symbolic verificaiton

KW - authenticated key exchange

KW - TLS 1.3

UR - https://tls13tamarin.github.io/TLS13Tamarin/

U2 - 10.1145/3133956.3134063

DO - 10.1145/3133956.3134063

M3 - Conference contribution

SN - 978-1-4503-4946-8

SP - 1773

EP - 1788

BT - ACM SIGSAC Conference on Computer and Commuincations Security

PB - ACM

ER -