Goldwasser has twice won the Gödel Prize in theoretical computer science: first in 1993 (for "The knowledge complexity of interactive proof systems"), and again in 2001 (for "Interactive Proofs and the Hardness of Approximating Cliques").
Голдвасер двапати ја освоила наградата Гедел за теоретска компјутерска наука: прво во 1993 година (за "Комплексноста на знаењето на интерактивните системи за докажување"), и повторно во 2001 година (за "Интерактивни докази и цврстината на приближувањето на кликовите").