[austincheney]

I wonder if MIT trademarked Kerberos.

https://web.mit.edu/kerberos/

[spinax]

US: quick search says Yes, at one time however it's was abandoned in 1994: https://tmsearch.uspto.gov/bin/showfield?f=doc&state=4807:gm...

Current US trademark holder is a financial group: https://tmsearch.uspto.gov/bin/showfield?f=doc&state=4807:gm...

Edit: it appears the USPTO has sent a notice refusing activation on the above due to requirements not met if I read this correctly: https://tsdr.uspto.gov/#caseNumber=88758894&caseType=SERIAL_...