Steven M. Bellovin, AT&T Research