Journal of Cryptology · 1994 · 601 citations · 17 references
ComputingComputer ScienceFormal MethodsLogicTheory Of ComputationDeductive VerificationModel CheckingProof AssistantsProof TheoryTheorem ProvingZero-knowledge ProofsNon-interactive Zero-knowledge ProofsProof SystemsZero-knowledge Proof Systems
17
Oded Goldreich, Silvio Micali, Avi Wigderson · 1987 · 3.5K citations
Shafi Goldwasser, Silvio Micali · Journal of Computer and System Sciences · 1984 · 2.6K citations
How to construct random functions
Oded Goldreich, Shafi Goldwasser, Silvio Micali · Journal of the ACM · 1986 · 2.1K citations · Full text
The knowledge complexity of interactive proof-systems
Sbafi Goldwasser, Silvio Micali, Charles Rackoff · 1985 · 1.2K citations · Full text