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

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

Research output: Chapter in Book/Report/Conference proceedingChapter


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.
Original languageEnglish
Title of host publicationProvable Security
Subtitle of host publication9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings
EditorsMan-Ho Au, Atsuko Miyaji
ISBN (Print)978-3319260587, 3319260588
Publication statusPublished - 28 Nov 2015
Event9th International conference on Provable Security, ProvSec 2015 - Kanazawa, Japan
Duration: 24 Nov 201526 Nov 2015
Conference number: 9

Publication series

NameProvable Security
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference9th International conference on Provable Security, ProvSec 2015
Abbreviated titleProvSec 2015
Internet address

Fingerprint Dive into the research topics of 'Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer'. Together they form a unique fingerprint.

Cite this