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

Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Bjrn Tackmann

Browse the full ProvSec paper archive.