An Architecture for Robust Pseudo-Random Generation and Applications to /dev/random

Abstract: We present a formal model and a simple architecture for robust pseudorandom generationthat ensures resilience in the face of an observer with partial knowledge (or even partial control)of the generator's entropy source. Our model and architecture ensure the following properties:.