Memory safety or type safety are the least of Kerberos' issues. The protocol itself is fundamentally flawed.