Cas Cremers, Marko Horvat, Sam Scott, Thyla Van der Merwe. Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. In IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016. pages 470-485, IEEE, 2016. [doi]
Abstract is missing.