@misc{cryptoeprint:2015:652,
    author = {Benjamin Dowling and Douglas Stebila},
    title = {Modelling ciphersuite and version negotiation in the TLS protocol},
    howpublished = {Cryptology ePrint Archive, Report 2015/652},
    year = {2015},
    url = {https://eprint.iacr.org/2015/652},
}