Christian Badertscher, Christian Matt 0002, Ueli Maurer, Phillip Rogaway, Björn Tackmann. Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. In Man Ho Au, Atsuko Miyaji, editors, Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. Volume 9451 of Lecture Notes in Computer Science, pages 85-104, Springer, 2015. [doi]
Abstract is missing.