@inproceedings{2015_usenixsec_nqsb,
  address = {Washington, D.C.},
  author = {David Kaloper-Mersinjak and Hannes Mehnert and Anil Madhavapeddy and Peter Sewell},
  booktitle = {24th USENIX Security Symposium (USENIX Security 15)},
  month = {aug},
  pages = {223--238},
  publisher = {USENIX Association},
  title = {Not-Quite-So-Broken TLS},
  url = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak},
  year = {2015}}