Kenneth G. Paterson, Gaven J. Watson. Authenticated-Encryption with Padding: A Formal Security Treatment. In David Naccache, editor, Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday. Volume 6805 of Lecture Notes in Computer Science, pages 83-107, Springer, 2012. [doi]
Abstract is missing.