A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers; Marko Horvat; Jonathan Hoyland; Samuel Scott; Thyla van der Merwe

doi:10.1145/3133956.3134063

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers
, Marko Horvat
, Jonathan Hoyland
, Samuel Scott
, Thyla van der Merwe

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ACM SIGSAC Conference on Computer and Commuincations Security
Publisher	ACM
Pages	1773-1788
Number of pages	16
ISBN (Print)	978-1-4503-4946-8
DOIs	https://doi.org/10.1145/3133956.3134063
Publication status	Published - 30 Oct 2017

Keywords

symbolic verificaiton
authenticated key exchange
TLS 1.3

Access to Document

10.1145/3133956.3134063

Cite this

@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",

}

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 -

A Comprehensive Symbolic Analysis of TLS 1.3

Keywords

Access to Document

Other files and links

The Design and Analysis of Real-World Cryptographic Protocols

Cite this