@conference {5,
	title = {Provable-security analysis of authenticated encryption in Kerberos},
	booktitle = {Security and Privacy, IEEE Symposium on},
	year = {2007},
	month = {2007},
	publisher = {IEEE},
	organization = {IEEE},
	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4223217},
	author = {Boldyreva, Alexandra and Kumar, Virendra}
}
