Design and analysis of provably secure pseudorandom generators by