|
ABSTRACT
We show that the existence of one-way functions is necessary and sufficient for the existence of pseudo-random generators in the following sense. Let ƒ be an easily computable function such that when x is chosen randomly: (1) from ƒ(x) it is hard to recover an x1 with ƒ(x1) = ƒ(x) by a small circuit, or; (2) ƒ has small degeneracy and from ƒ(x) it is hard to recover x by a fast algorithm. From one-way functions of type (1) or (2) we show how to construct pseudo-random generators secure against small circuits or fast algorithms, respectively, and vice-versa. Previous results show how to construct pseudo-random generators from one-way functions that have special properties ([Blum, Micali 82], [Yao 82], [Levin 85], [Goldreich, Krawczyk, Luby 88]).
We use the results of [Goldreich, Levin 89] in an essential way.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Blum, M., "Independent Unbiased Coin Flips From a Correlated Biased Source: A Finite State Markov Chain", 25tn FOCS, 1984, pp. 425-433.
|
| |
2
|
|
| |
3
|
Carter, J., and M. Wegman, "Universal Classes of Hash Functions"~ JCSS, 1979, Vol. 18, pp. 143-154.
|
| |
4
|
|
 |
5
|
|
| |
6
|
Goldreich, O., Krawczyk, H. and Luby, M., "On tile Existence of Pseudorandom Generators'', 29th FOES, 1988, pp. 12-24.
|
 |
7
|
|
| |
8
|
Goldreich, O., Micali, M. and Wigderson, A., "Proofs that. Yield Nothing but Their Validity and a Methodology of Cryptographic Protocol Design", 27th FOCS, 1986, pp. 174-187, Tech. Report TRd93, Comp. Sci. Dept., Technion, submitted to JA CM.
|
| |
9
|
Goldwasser, S. and Micali, S., "Probabilistic Encryption," JCSS, Vol. 28, No. 2, April 1984, pp. 270-299, STOC 1982.
|
| |
10
|
|
| |
11
|
Impagliazzo, R. and Luby, M., "One-way functions are essential for information based cryptography,'' submitted to CRYPTO 1989.
|
 |
12
|
|
| |
13
|
Karp, R., Lipton, R., "Turing Machines that Take Advice," L ~Enseignement Mathematique, Vol. 28, pp. 191-209 (1982), STOC 1980
|
| |
14
|
|
| |
15
|
|
| |
16
|
Mclnnes, J., "Cryptography Using Weak Sources of Randomness,'; Tech. Report 19~/87, U. of Toronto, 1987.
|
| |
17
|
Naor, M., personal communication, 1988.
|
 |
18
|
|
| |
19
|
Renyi, A., Probability Theory, North- Itolland, Amsterdam, 1970.
|
| |
20
|
Shannon, C., "A Mathematical Theory of Communication'', Bell Systems Technical Journal, 27, 1948, pp. 379-423 and pp. 623-656.
|
| |
21
|
|
| |
22
|
|
| |
23
|
Vazirani, U. and Vazirani, V., "Random Polynomial Time is Equal to Slightly-random Polynomial Time", 26th FOGS, 1985, pp. 417-428, submitted to JA Cllf.
|
| |
24
|
Yao, A.C., "Theory and Applications of Trapdoor Functions", 23ra FOGS, 1982, pp. 80-91.
|
CITED BY 56
|
|
|
|
|
|
|
|
|
|
|
William Aiello , Sivaramakrishnan Rajagopalan , Ramarathnam Venkatesan, Design of practical and provably good random number generators, Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms, p.1-9, January 22-24, 1995, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
S. Ben-David , B. Chor , O. Goldreich, On the theory of average case complexity, Proceedings of the twenty-first annual ACM symposium on Theory of computing, p.204-216, May 14-17, 1989, Seattle, Washington, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ran Raz , Omer Reingold , Salil Vadhan, Extracting all the randomness and reducing the error in Trevisan's extractors, Proceedings of the thirty-first annual ACM symposium on Theory of computing, p.149-158, May 01-04, 1999, Atlanta, Georgia, United States
|
|
|
Markus Jakobsson , Elizabeth Shriver , Bruce K. Hillyer , Ari Juels, A practical secure physical random bit generator, Proceedings of the 5th ACM conference on Computer and communications security, p.103-111, November 02-05, 1998, San Francisco, California, United States
|
|
|
Markus Jakobsson , Elizabeth Shriver , Bruce K. Hillyer , Ari Juels, A practical secure physical random bit generator, Proceedings of the 5th ACM conference on Computer and communications security, p.103-111, November 02-05, 1998, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Ran Canetti , Daniele Micciancio , Omer Reingold, Perfectly one-way probabilistic hash functions (preliminary version), Proceedings of the thirtieth annual ACM symposium on Theory of computing, p.131-140, May 24-26, 1998, Dallas, Texas, United States
|
|
|
|
|
|
|
|
|
Ran Canetti , Eyal Kushilevitz , Rafail Ostrovsky , Adi Rosén, Randomness vs. fault-tolerance, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.35-44, August 21-24, 1997, Santa Barbara, California, United States
|
|
|
Russell Impagliazzo , Noam Nisan , Avi Wigderson, Pseudorandomness for network algorithms, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, p.356-364, May 23-25, 1994, Montreal, Quebec, Canada
|
|
|
Michael Saks , Aravind Srinivasan , Shiyu Zhou, Explicit dispersers with polylog degree, Proceedings of the twenty-seventh annual ACM symposium on Theory of computing, p.479-488, May 29-June 01, 1995, Las Vegas, Nevada, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dmitry Gavinsky , Julia Kempe , Iordanis Kerenidis , Ran Raz , Ronald de Wolf, Exponential separations for one-way quantum communication complexity, with applications to cryptography, Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, June 11-13, 2007, San Diego, California, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D. Beaver , S. Micali , P. Rogaway, The round complexity of secure protocols, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.503-513, May 13-17, 1990, Baltimore, Maryland, United States
|
|
|
|
|
|
|
|
|
Babak Azimi-Sadjadi , Aggelos Kiayias , Alejandra Mercado , Bulent Yener, Robust key generation from signal envelopes in wireless networks, Proceedings of the 14th ACM conference on Computer and communications security, October 28-31, 2007, Alexandria, Virginia, USA
|
|
|
Yuval Ishai , Eyal Kushilevitz , Rafail Ostrovsky , Amit Sahai, Cryptography with constant computational overhead, Proceedings of the 40th annual ACM symposium on Theory of computing, May 17-20, 2008, Victoria, British Columbia, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Henry Kautz , Yongshao Ruan , Dimitris Achlioptas , Carla Gomes , Bart Selman , Mark Stickel, Balance and filtering in structured satisfiable problems, Proceedings of the 17th international joint conference on Artificial intelligence, p.351-358, August 04-10, 2001, Seattle, WA, USA
|
|
|
Ke Xu , Fr´ed´eric Boussemart , Fred Hemery , Christophe Lecoutre, A simple model to generate hard satisfiable instances, Proceedings of the 19th international joint conference on Artificial intelligence, p.337-342, July 30-August 05, 2005, Edinburgh, Scotland
|
|