The krb5-1.14 source code release is now available.
Bibliography
"Provable-security analysis of authenticated encryption in Kerberos",
Security and Privacy, IEEE Symposium on: IEEE, 2007.
"The Perils of Unauthenticated Encryption: Kerberos Version 4",
Network and Distributed System Security Symposium: The Internet Society, 02/2004.