Encryption schemes that ensure correctness of the message are studied.
Topic 1: INT-RUP Analysis of Block-Cipher-Based Authenticated Encryption Schemes
Authors: Avik Chakraborti, Nilanjan Datta and Mridul Nandi
Topic 2: From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS
Authors: Colin Boyd, Britta Hale, Stig Frode Mjolsnes and Douglas Stebila