[IEEE 2016 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Symposium on Security and Privacy (SP) - Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
Cremers, Cas, Horvat, Marko, Scott, Sam, Merwe, Thyla van derYear:
2016
Language:
english
DOI:
10.1109/SP.2016.35
File:
PDF, 368 KB
english, 2016