Confidentiality and Integrity: A Constructive Perspective
Theory of Cryptography — TCC 2012, Lecture Notes in Computer Science, Springer, vol. 7194, pp. 209–229, 2012.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
Ueli Maurer and Björn Tackmann
On the Soundness of Authenticate-then-Encrypt: Formalizing the Malleability of Symmetric Encryption
Proceedings of the 17th ACM Conference on Computer and Communication Security, ACM, pp. 505–515, Oct 2010.
Available files: [ PDF ] [ Abstract ] [ BibTeX ]
© IACR | Springer | ACM | IEEE