ProScript-TLS: Verifiable Models and Systematic Testing for TLS 1.3 (bibtex)
by Karthikeyan Bhargavan, Nadim Kobeissi
Reference:
ProScript-TLS: Verifiable Models and Systematic Testing for TLS 1.3 (Karthikeyan Bhargavan, Nadim Kobeissi), 2016. (Presented at the TRON workshop)
Bibtex Entry:
@misc{BK16,
  author = {Karthikeyan Bhargavan and Nadim Kobeissi},
  title = {{ProScript-TLS: Verifiable Models and Systematic Testing for TLS 1.3}},
  year = 2016,
  note = {Presented at the TRON workshop},
  pdf = "pubs/proscript-tls-tron-2016.pdf",
  url = "pubs/proscript-tls-tron-2016.pdf",
  }