Vitalsource Technologies, Inc. Modern Cryptography, Probabilistic Proofs and Pseudorandomness