New York University
A Pseudo-Random Number Generator (PRNG) is a deterministic algorithm that produces numbers whose distribution is indistinguishable from uniform. A formal security model for PRNGs with input was proposed in 2005 by Barak and Halevi (BH). This model involves an internal state that is refreshed with a (potentially biased) external random source, and a cryptographic function that outputs random numbers from the continually internal state. In this paper the authors extend the BH model to also include a new security property capturing how it should accumulate the entropy of the input data into the internal state after state compromise.