. Openssl, Available at https://www.openssl.org/. Accessed, pp.2017-2023

R. Affeldt and &. Marti, Towards formal verification of TLS network packet processing written in C, Proceedings of the 7th workshop on Programming languages meets program verification, PLPV '13, pp.10-1145, 2013.
DOI : 10.1145/2428116.2428124

N. Aviram, S. Schinzel, J. Somorovsky, N. Heninger, M. Dankel et al., DROWN: Breaking TLS Using SSLv2 Available at https, 25th USENIX Security Symposium, USENIX Security 16 USENIX Association, pp.689-706, 2016.

M. Broy and B. Jonsson, Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl, Lecture Notes in Computer Science, vol.3472, pp.10-1007, 2004.

C. Brubaker, S. Jana, B. Ray, S. Khurshid, and &. Shmatikov, Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations, 2014 IEEE Symposium on Security and Privacy, pp.2014-114, 2014.
DOI : 10.1109/SP.2014.15

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, F. Lang et al., Reference Manual of the LNT to LOTOS Translator, 2017.

G. Diaz, F. Cuartero, V. Valero, and &. F. Pelayo, Automatic Verification of the TLS Hand- Shake Protocol, Proceedings of the 19th ACM Symposium on Applied Computing, 2004.

T. Dierks and &. Rescorla, The Transport Layer Security (TLS) Protocol Version 1.1. RFC 4346, pp.1-8710, 2006.

Z. Durumeric, J. Kasten, D. Adrian, J. A. Halderman, M. Bailey et al., The Matter of Heartbleed, Proceedings of the 2014 Conference on Internet Measurement Conference, IMC '14, pp.475-488, 2014.
DOI : 10.1145/2663716.2663755

H. Garavel and F. Lang, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-10710, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang-&-wendelin, and . Serwe, From LOTOS to LNT, pp.3-26, 2017.
DOI : 10.1016/j.scico.2016.01.002
URL : https://hal.archives-ouvertes.fr/hal-01621670

D. Kaloper-mersinjak and &. H. Mehnert, Not-quite-so-broken TLS 1.3 mechanised conformance checking In: TLSv1.3 -Ready or Not? (TRON) Workshop. Available at https, 2016.

L. Marsso, R. Mateescu-&-wendelin, and . Serwe, TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
DOI : 10.1109/COMPSAC.2009.194
URL : https://hal.archives-ouvertes.fr/hal-01777861

E. Poll, J. De-ruiter, and &. A. Schubert, Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws, 2015 IEEE Security and Privacy Workshops, 2015.
DOI : 10.1109/SPW.2015.32
URL : http://www.cs.bham.ac.uk/%7Ederuitej/papers/langsec15.pdf

&. Joeri-de-ruiter and . Poll, Protocol State Fuzzing of TLS Implementations Available at https, 24th USENIX Security Symposium, USENIX Security 15, pp.193-206, 2015.

D. E. Simos, J. Bozic, F. Duan, B. Garn, K. Kleine et al., Testing TLS Using Combinatorial Methods and Execution Framework, Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS'17), 2017.
DOI : 10.1109/ICST.2013.35
URL : https://hal.archives-ouvertes.fr/hal-01678990

A. C. Weaver, Secure Sockets Layer, Computer, vol.39, issue.4, pp.88-90, 2006.
DOI : 10.1109/MC.2006.138