Shafi Goldwasser Division of Computer Science (EECS) cryptography, computational number theory, complexity theory, fault tolerant distributed computing, probabilistic proof systems, approximation algorithms, theory(THY)