Modelling ciphersuite and version negotiation in the TLS protocol

Benjamin Dowling, Douglas Stebila. Modelling ciphersuite and version negotiation in the TLS protocol. IACR Cryptology ePrint Archive, 2015:652, 2015. [doi]

@article{DowlingS15-0,
  title = {Modelling ciphersuite and version negotiation in the TLS protocol},
  author = {Benjamin Dowling and Douglas Stebila},
  year = {2015},
  url = {http://eprint.iacr.org/2015/652},
  researchr = {https://researchr.org/publication/DowlingS15-0},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2015},
  pages = {652},
}