Shafi Goldwasser
article-link
What links here
Interactive proof system
Alice and Bob
article-link
NEXPTIME
article-link
List of complexity classes
article-link
Arthur–Merlin protocol
article-link
Gödel Prize
article-link
Interactive proof
article-link
Complexity class
article-link
Zero-knowledge proof
article-link
List of computability and complexity topics
article-link
List of mathematical logic topics
article-link
Culture of Israel
article-link
Probabilistic Turing machine
article-link
Probabilistic method
article-link
PSPACE
article-link
Oracle machine
article-link
NP (complexity)
article-link
Computational complexity theory
article-link
Interactive Proof System
redirect