Modern cryptography, probabilistic proofs and pseudo-randomness - Goldreich, O (Algorithms and combinatorics, 1999)