Safrira Goldwasser

Goldwasser's research areas included computational complexity theory, cryptography, and computational number theory. She was the co-inventor of zero-knowledge proofs, which probabilistically and interactively demonstrate the validity of an assertion without conveying any additional knowledge, and are a key tool in the design of cryptographic protocols.

Her work in complexity theory included the classification of approximation problems, showing that some problems in NP remain hard even when only an approximate solution is needed.