Modern cryptography, probabilistic proofs, and pseudorandomness | lit.salon