A language-dependent cryptographic primitive

The Knowledge Complexity of Interactive Proof Systems

Shafi Goldwasser, Silvio Micali, Charles Rackoff · SIAM Journal on Computing · 1989 · 3.3K citations

Computing, Computer Science, Mathematics +13

Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems

Oded Goldreich, Silvio Micali, Avi Wigderson · Journal of the ACM · 1991 · 1.4K citations

Computing, Computer Science, Knowledge Representation +8

Minimum disclosure proofs of knowledge

Gilles Brassard, David Chaum, Claude Crépeau · Journal of Computer and System Sciences · 1988 · 956 citations

Law, Computer Science, Intellectual Property +8

Definitions and properties of zero-knowledge proof systems

Oded Goldreich, Yair Oren · Journal of Cryptology · 1994 · 601 citations

Computing, Computer Science, Formal Methods +11

Does co-NP have short interactive proofs?

Ravi B. Boppana, Johan Håstad, Stathis Zachos · Information Processing Letters · 1987 · 367 citations

Computing, Computer Science, Algorithms +6