@misc(openssl,
 title        = {OpenSSL},
 url          = {https://www.openssl.org/},
 note         = {Accessed: 2017-06-07},
)
@misc(tlsattacker,
 title        = {TLS-Attacker},
 url          = {https://github.com/RUB-NDS/TLS-Attacker},
 note         = {Accessed: 2016-12-04},
)
@inproceedings(affeldt13,
 author       = {Reynald Affeldt and Nicolas Marti},
 year         = {2013},
 title        = {Towards Formal Verification of TLS Network Packet Processing Written in C},
 booktitle    = {PLPV},
 doi          = {10.1145/2428116.2428124},
)
@inproceedings(aviramandall,
 author       = {Nimrod Aviram and Sebastian Schinzel and Juraj Somorovsky and Nadia Heninger and Maik Dankel and Jens Steube and Luke Valenta and David Adrian and J. Alex Halderman and Viktor Dukhovni and Emilia K{\"{a}}sper and Shaanan Cohney and Susanne Engels and Christof Paar and Yuval Shavitt},
 year         = {2016},
 title        = {{DROWN:} Breaking {TLS} Using SSLv2},
 editor       = {Thorsten Holz and Stefan Savage},
 booktitle    = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX, USA, August 10-12, 2016.},
 publisher    = {{USENIX} Association},
 pages        = {689--706},
 url          = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/aviram},
)
@proceedings(BroyJonsson05,
 editor       = {Manfred Broy and Bengt Jonsson and Joost{-}Pieter Katoen and Martin Leucker and Alexander Pretschner},
 year         = {2005},
 title        = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]},
 series       = {Lecture Notes in Computer Science},
 volume       = {3472},
 publisher    = {Springer},
 doi          = {10.1007/b137241},
)
@inproceedings(Brubakerandall,
 author       = {Chad Brubaker and Suman Jana and Baishakhi Ray and Sarfraz Khurshid and Vitaly Shmatikov},
 year         = {2014},
 title        = {Using Frankencerts for Automated Adversarial Testing of Certificate Validation in {SSL/TLS} Implementations},
 booktitle    = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley, CA, USA, May 18-21, 2014},
 publisher    = {{IEEE} Computer Society},
 pages        = {114--129},
 doi          = {10.1109/SP.2014.15},
)
@article(champelovier2017reference,
 author       = {David Champelovier and Xavier Clerc and Hubert Garavel and Yves Guerte and Fr{\'e}d{\'e}ric Lang and Christine McKinty and Vincent Powazny and Wendelin Serwe and Gideon Smeding},
 year         = {2017},
 title        = {Reference Manual of the LNT to LOTOS Translator},
 url          = {http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html},
)
@inproceedings(diaz04,
 author       = {G. Diaz and F. Cuartero and V. Valero and F. Pelayo},
 year         = {2004},
 title        = {Automatic Verification of the TLS HandShake Protocol},
 booktitle    = {Proceedings of the 19th ACM Symposium on Applied Computing (SAC'04)},
 doi          = {10.1145/967900.968063},
)
@article(dierksrescorla,
 author       = {Tim Dierks and Eric Rescorla},
 year         = {2006},
 title        = {The Transport Layer Security {(TLS)} Protocol Version 1.1},
 journal      = {{RFC}},
 volume       = {4346},
 pages        = {1--87},
 doi          = {10.17487/RFC4346},
)
@inproceedings(durmericetall,
 author       = {Zakir Durumeric and James Kasten and David Adrian and J. Alex Halderman and Michael Bailey and Frank Li and Nicholas Weaver and Johanna Amann and Jethro Beekman and Mathias Payer and Vern Paxson},
 year         = {2014},
 title        = {The Matter of Heartbleed},
 editor       = {Carey Williamson and Aditya Akella and Nina Taft},
 booktitle    = {Proceedings of the 2014 Internet Measurement Conference, {IMC} 2014, Vancouver, BC, Canada, November 5-7, 2014},
 publisher    = {{ACM}},
 pages        = {475--488},
 doi          = {10.1145/2663716.2663755},
)
@article(garavellangmateescuserwe,
 author       = {Hubert Garavel and Fr{\'{e}}d{\'{e}}ric Lang and Radu Mateescu and Wendelin Serwe},
 year         = {2013},
 title        = {{CADP} 2011: a toolbox for the construction and analysis of distributed processes},
 journal      = {{STTT}},
 volume       = {15},
 number       = {2},
 pages        = {89--107},
 doi          = {10.1007/s10009-012-0244-z},
)
@inproceedings(garavellangserwe17,
 author       = {Hubert Garavel and Fr{\'{e}}d{\'{e}}ric Lang and Wendelin Serwe},
 year         = {2017},
 title        = {From {LOTOS} to {LNT}},
 booktitle    = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday},
 pages        = {3--26},
 doi          = {10.1007/978-3-319-68270-9_1},
)
@misc(draft-ietf-tls-tls13-21,
 author       = {IETF},
 year         = {2018},
 title        = {The Transport Layer Security (TLS) Protocol Version 1.4 draft-ietf-tls-tls13-24},
 url          = {https://tools.ietf.org/html/draft-ietf-tls-tls13-24},
)
@inproceedings(km16,
 author       = {Kaloper-Mersinjak, D. and H. Mehnert},
 year         = {2016},
 title        = {Not-quite-so-broken TLS 1.3 mechanised conformance checking},
 booktitle    = {TLSv1.3 - Ready or Not? (TRON) Workshop},
 url          = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak},
)
@unpublished(marssomateescuservwe,
 author       = {Lina Marsso and Radu Mateescu and Wendelin Serwe},
 title        = {{TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation}},
 note         = {To appear at TACAS 2018},
)
@inproceedings(poll15,
 author       = {E. Poll and J. de Ruiter and A. Schubert},
 year         = {2015},
 title        = {Protocol state machines and session languages: specification, implementation, and security flaws},
 booktitle    = {Security and Privacy Workshops (SPW)},
 doi          = {10.1109/SPW.2015.32},
)
@inproceedings(ruiterpoll,
 author       = {Joeri de Ruiter and Erik Poll},
 year         = {2015},
 title        = {Protocol State Fuzzing of {TLS} Implementations},
 editor       = {Jaeyeon Jung and Thorsten Holz},
 booktitle    = {24th {USENIX} Security Symposium, {USENIX} Security 15, Washington, D.C., USA, August 12-14, 2015.},
 publisher    = {{USENIX} Association},
 pages        = {193--206},
 url          = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/de-ruiter},
)
@inproceedings(ictss17,
 author       = {D. E. Simos and J. Bozic and F. Duan and B. Garn and K. Kleine and Y. Lei and F. Wotawa},
 year         = {2017},
 title        = {Testing TLS Using Combinatorial Methods and Execution Framework},
 booktitle    = {Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS'17)},
 doi          = {10.1007/978-3-319-67549-7_10},
)
@article(tretmans,
 author       = {Jan Tretmans},
 year         = {1996},
 title        = {Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation},
 journal      = {Computer Networks and {ISDN} Systems},
 volume       = {29},
 number       = {1},
 pages        = {49--79},
 doi          = {10.1016/S0169-7552(96)00017-7},
)
@article(weaver,
 author       = {Alfred C. Weaver},
 year         = {2006},
 title        = {Secure Sockets Layer},
 journal      = {{IEEE} Computer},
 volume       = {39},
 number       = {4},
 pages        = {88--90},
 doi          = {10.1109/MC.2006.138},
)