Provided by: International Association for Cryptologic Research
Date Added: Sep 2015
Motivated by the wide adoption of authenticated encryption and TLS, the authors 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, they formalize this idea and provide a construction of this kind of channel using the lower-level tool authenticated-encryption. They look at recent proposals on TLS 1.3 and suggest that the criterion by which their security can be judged is quite simple.