Ronald L. Rivest, MIT CSAIL