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