Paper 2015/394 Original: eprint.iacr.org/2015/394 ↗

Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

Christian Badertscher
Christian Matt
Ueli Maurer
Phillip Rogaway
Björn Tackmann
Abstract

Motivated by the wide adoption of authenticated encryption and TLS, we suggest a basic channel abstraction, an augmented secure channel (ASC), that allows a sender to send a receiver messages consisting of two parts, where one is privacy-protected and both are authenticity-protected. Working in the tradition of constructive cryptography, we formalize this idea and provide a construction of this kind of channel using the lower-level tool authenticated-encryption. We look at recent proposals on TLS 1.3 and suggest that the criterion by which their security can be judged is quite simple: do they construct an ASC? Due to this precisely defined goal, we are able to give a natural construction that comes with a rigorous security proof and directly leads to a proposal on TLS 1.3 that is provably secure.

Metadata
Available format(s)
PDF
Category
Secret-key cryptography
Publication info
Preprint.
History
2018-09-28: last updated
2015-05-01: published
Short URL
https://ia.cr/2015/394
License
https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2015/394,
      author = {Christian Badertscher and Christian Matt and Ueli Maurer and Phillip Rogaway and Björn Tackmann},
      title = {Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer},
      howpublished = {Cryptology {ePrint} Archive, Paper 2015/394},
      year = {2015},
      url = {https://eprint.iacr.org/2015/394}
}
Note: In order to protect the privacy of readers, this archive does not use cookies or embedded third party content.