@misc{cryptoeprint:2007:234,
    author = {Alexandra Boldyreva and Virendra Kumar},
    title = {Provable-Security Analysis of Authenticated Encryption in Kerberos},
    howpublished = {Cryptology ePrint Archive, Report 2007/234},
    year = {2007},
    url = {http://eprint.iacr.org/2007/234},
}