Horvat, Marko Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Cremers, C., Horvat, M., Hoyland, J., Scott, S., & van der Merwe, T. (2017). A Comprehensive Symbolic Analysis of TLS 1.3. In CCS'17 (pp. 1773--1788). New York, NY: ACM. doi:10.1145/3133956.3134063.