Provable-security analysis of authenticated encryption (2007)

by A Boldyreva, V Kumar
Venue:in Kerberos,” IEEE Symposium on Security and Privacy (SP’07