Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla Van der Merwe. A Comprehensive Symbolic Analysis of TLS 1.3. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 1773-1788, ACM, 2017. [doi]
@inproceedings{CremersHHSM17,
title = {A Comprehensive Symbolic Analysis of TLS 1.3},
author = {Cas Cremers and Marko Horvat and Jonathan Hoyland and Sam Scott and Thyla Van der Merwe},
year = {2017},
doi = {10.1145/3133956.3134063},
url = {http://doi.acm.org/10.1145/3133956.3134063},
researchr = {https://researchr.org/publication/CremersHHSM17},
cites = {0},
citedby = {0},
pages = {1773-1788},
booktitle = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017},
editor = {Bhavani M. Thuraisingham and David Evans and Tal Malkin and Dongyan Xu},
publisher = {ACM},
isbn = {978-1-4503-4946-8},
}