Ronald L. Rivest, MIT