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