Proving without knowing: On oblivious, agnostic and blindfolded provers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1109, Issue , 1996, Pages 186-200

  Jakobsson, Markus ^a   Yung, Moti ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALGEBRAIC STRUCTURES; EXPOSED TO; FINITE GROUPS; UNDENIABLE SIGNATURE; ZERO KNOWLEDGE PROOF;

CRYPTOGRAPHY;

EID: 84955606093     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-68697-5_15     Document Type: Conference Paper

References (17)

1. M. Abadi, J. Feigenbaum, and B. Kiliari, "On Hiding Information from an Oracle," Journal of Computer and System Sciences, v. 39, n. 1, Aug 1989, pp. 21-50
2. D. Beaver, J. Feigenbaum and V. Slioup, "Hiding Instances in Zero-Knowledge Proof Systems," Crypto '90, pp. 326-338
3. M. Bellare, S. Goldreich, "On Defining Proofs of Knowledge," Crypto '92, pp. 390-420
4. D. Chaum and H. van Antwerpen, "Undeniable Signatures," Crypto '89, pp. 212-216
5. D. Chaum, "Zero-Knowledge Undeniable Signatures," Eurocrypt '90, pp. 458-464
6. D. Chaum, J. Boyar, I. Damgård, M. Jakobsson, T. Pedersen, "Undeniable Signatures: Applications and Theory," manuscript to be submitted.
7. U. Feige, A. Fiat and A. Shamir, "Zero-knowledge Proofs of Identity," Journal of Cryptology, 1988, Vol 1, pp 77-94
8. J. Feigenbaum and R.Ostrovsky, "A Note on One-Prover Instance-Hiding, Zero- Knowledge Proof Systems," Asiacrypt, '91.
9. A. Fujioka, T. Okamoto, K. Oht.'i, "Interactive Bi-Proof Systems and Undeniable Signature Schemes," Eurocrypt '91, pp. 243-256
10. Z. Galil, S. Haber, M. Yung, "Minimum-Knowledge Interactive Proofs for Decision Problems," SIAM Journal of Computing, 1988.
11. S. Goldwasser, S, Micali and C. Rackoff, "The Knowledge Complexity of Interactive Proof Systems," SIAM Journal on Computing, vol. 18, n. 1, Feb. 1989, pp. 186-208
12. T. Okamoto and K. Ohta, "Divertible Zero-Knowledge Interactive Proofs and Commutative Random Self-Reducibility," Eurocrypt '89, pp. 134-149
13. R. Ostrovsky, R. Venkatesan, and M. Yung, "Interactive Hashing Simplifies Zero Knowledge Protocol Design," Eurocrypt '90.
14. T. Pedersen, "Distributed Provers with Applications to Undeniable Signatures," Eurocrypt '91, pp. 221-238
15. M. Tompa and H. Woll, "Random Self-Reducibility and Zero-Knowledge Interactive Proofs of Possession of Information," Proceedings of the 28th FOCS, 1987, pp. 472-482
16. A. Yao, "How to Generate and Exchange Secrets," Proceedings of the 27th FOCS, 1986, pp. 162-167
17. A. Yao, "Protocols for Secure Computations," FOCS '82, pp. 160-164