Now, we need a secure PRNG