Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi
VenueA*SP
Year2017
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/BhargavanBK17 ↗
Browse the full SP paper archive.