Non-interactive zero-knowledge proof systems

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

Volumn 293 LNCS, Issue , 1988, Pages 52-72

  De Santis, Alfredo ^a   Micali, Silvio ^b   Persiano, Giuseppe ^a  

^a UNIVERSITY OF SALERNO   (Italy)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; GOLD;

NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS; ZERO KNOWLEDGE PROOF;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 85013891306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48184-2_5     Document Type: Conference Paper

References (14)

1. M. Blum, Coin Flipping By Telephone, IEEE COMFCON’ 82.
2. G. Brassard, C. Crepeau, Non Transitive Transfer of Confidence: A Perfect Zero-Knowledge Interactive Protocol for Sat and Beyond, Proceedings of the 27th Symposium on Foundations of Computer Science, 1986.
3. M. Blum, P. Feldman, S. Micali, in preparation.
4. A. De Santis, S. Micali, G. Persiano, in preparation.
5. M. Fischer, S. Micali, C. Rackoff and D. Witenberg, A Secure Protocol for the Oblivious Transfer, in preparation 1986.
6. U. Feige, A. Fiat and A. Shamir, Zero Knowledge Proofs of Identity, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987.
7. O. Goldreich, S. Goldwasser, S. Micali, How to Construct Random Functions, Journal of ACM, vol. 33, No. 4, October 1986.
8. Z. Galil, S. Haber, M. Yung, A Private Interactive Test of a Boolean Predicate and Minimum-Knowledge Public-Key Cryptosystem, Proceedings of the 26th Symposium on Foundations of Computer-Science, 1985.
9. M. Garey, D. Johnson, Computers and Intractability: a Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, 1979.MATH
10. S. Goldwasser, S. Micali, Probabilistic Encryption, Journal of Computer and System Science, vol. 28, No. 2, 1984.
11. S. Goldwasser, S. Micali, C. Rackoff, The Knowledge Complexity of Interactivc Proof-Systems, Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985.
12. O. Goldreich, S. Micali, A. Wigderson, Proofs That Yield Nothing But Their Validity and a Methodology of Cryptographic Protocols Design, Proceedings of the 27th Symposium on Foundations of Computer-Science, 1986.
13. O. Goldreich, S. Micali, A. Wigderson, How to Play Any Mental Game, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987.
14. S. Goldwasser, S. Micali, R. Rivest, A Digital Signature Scheme Secure Against Adaptive, Chosen Cyphertext Attack, to appear in SIAM J. on Computing.