if you're a cryptographer and don't name your kids Alice and Bob, what are you even doing?