1. M. Abadi, E. Allender, A. Broder, J. Feigenbaum, L. Hemachandra, On Generating Solved Instances of Computational Problems Proc. of CRYPTO88.
2. D. Angluin, D. Lichtenstein, Provable Security of Cryptosystems: a Survey TR-288, Yale University, 1983.
3. M. Blum, How to Prove a Theorem So No One Else Can Claim It Proc. of the International Congress of Mathematicians, Berkeley, California, USA, 1986, pp. 1444–1451.
4. M. Blum, P. Feldman, S. Micali, Non-Interactive Zero-Knowledge and its Applications Proc. of 20th STOC 1988, pp. 103–112.
5. G. Brassard, D. Chaum, C. Crépeau, Minimum Disclosure Proofs of Knowledge JCSS, Vol. 37, 1988, pp. 156–189.