J. Nadhem, K. G. Alfardan, and . Paterson, Lucky thirteen: Breaking the TLS and DTLS record protocols, IEEE Symposium on Security and Privacy (SP'13), 2013.

M. Bellare and P. Rogaway, Entity authentication and key distribution, CRYPTO, pp.232-249, 1993.
DOI : 10.1007/3-540-48329-2_21
URL : https://link.springer.com/content/pdf/10.1007%2F3-540-48329-2_21.pdf

B. Berdouche, K. Bhargavan, A. Delignatlavaud, C. Fournet, M. Kohlweiss et al., A messy state of the union: Taming the composite state machines of TLS, Proceedings of IEEE S&P 2015, pp.535-552, 2015.

K. Bhargavan, A. Delignat-lavaud, C. Fournet, A. Pironti, and P. Strub, Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS, Proceedings of IEEE S&P 2014, pp.98-113, 2014.
DOI : 10.1109/sp.2014.14
URL : https://hal.archives-ouvertes.fr/hal-01102259

C. Brzuska, H. Jacobsen, and D. Stebila, Safely exporting keys from secure channels: on the security of EAP-TLS and TLS key exporters, 2016.

B. Dowling, M. Fischlin, F. Günther, and D. Stebila, A cryptographic analysis of the TLS 1.3 handshake protocol candidates, ACM CCS, pp.1197-1210, 2015.

C. E. Gero, J. N. Shapiro, and D. J. Burd, Terminating ssl connections without locally-accessible private keys, p.75, 2013.

T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, On the security of TLS-DHE in the standard model, Proceedings of CRYPTO 2012, vol.7417, pp.273-293, 2012.

M. Kohlweiss, U. Maurer, C. Onete, B. Tackmann, and D. Venturi, Proceedings of Indocrypt, vol.9462, pp.85-102, 2015.

H. Krawczyk, K. Paterson, and H. Wee, On the security of the TLS protocol: A systematic analysis, Proceedings of CRYPTO 2013, vol.8042, pp.429-448, 2013.

H. Krawczyk and H. Wee, The OPTLS protocol and tls 1.3, Proceedings of Euro S&P, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01378195

D. Naylor, K. Schomp, M. Varvello, I. Leontiadis, J. Blackburn et al., Multi-Context TLS (mcTLS): Enabling Secure In-Network Functionality in TLS, Proceedings of SIGCOMM 2015, pp.199-212, 2015.

D. Stebila and N. Sullivan, An analysis of TLS handshake proxying, Proceedings of TrustCom, 2015.
DOI : 10.1109/trustcom.2015.385