Partially specified channels: The TLS 1.3 record layer without elision
IACR Cryptology ePrint Archive, Volume 2018, 2018, Pages 1415-1428.
We advance the study of secure stream-based channels (Fischlin et al., CRYPTO '15) by considering the multiplexing of many data streams over a single channel, an essential feature of real world protocols such as TLS. Our treatment adopts the definitional perspective of Rogaway and Stegers (CSF '09), which offers an elegant way to reason a...More
Full Text (Upload PDF)
PPT (Upload PPT)