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]
@inproceedings{Badertscher0MRT15-0, title = {Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer}, author = {Christian Badertscher and Christian Matt 0002 and Ueli Maurer and Phillip Rogaway and Björn Tackmann}, year = {2015}, doi = {10.1007/978-3-319-26059-4_5}, url = {http://dx.doi.org/10.1007/978-3-319-26059-4_5}, researchr = {https://researchr.org/publication/Badertscher0MRT15-0}, cites = {0}, citedby = {0}, pages = {85-104}, booktitle = {Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings}, editor = {Man Ho Au and Atsuko Miyaji}, volume = {9451}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-26058-7}, }