The Current Status in Design of Efficient Provably Secure Cryptographic Pseudorandom Generators