Provable-Security Analysis of Authenticated Encryption in Kerberos (2007)

by A Boldyreva, V Kumar
Venue:In 2007 IEEE Symposium on Security and Privacy