Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

2017 IEEE Symposium on Security and Privacy (SP) ◽

10.1109/sp.2017.26 ◽

2017 ◽

Cited By ~ 36

Author(s):

Karthikeyan Bhargavan ◽

Bruno Blanchet ◽

Nadim Kobeissi