IEEE Security and Privacy, S&P 2017


Article Details
Title: Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
Article URLs:
Alternative Article URLs: https://hal.inria.fr/hal-01528752
Authors: Karthikeyan Bhargavan
  • INRIA
Bruno Blanchet
  • INRIA
Nadim Kobeissi
  • INRIA
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sp/BhargavanBK17
Author Comments:

Discuss this paper and its artifacts below