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

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.
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
PublisherSpringer
Pages85-104
Edition1st
ISBN (Print)978-3319260587, 3319260588
DOIs
Publication statusPublished - 28 Nov 2015
Event9th International conference on Provable Security, ProvSec 2015 - Kanazawa, Japan
Duration: 24 Nov 201526 Nov 2015
Conference number: 9
https://security-lab.jaist.ac.jp/provsec2015/

Publication series

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

Conference

Conference9th International conference on Provable Security, ProvSec 2015
Abbreviated titleProvSec 2015
CountryJapan
CityKanazawa
Period24/11/1526/11/15
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