Re: RND_TYPE_RNG question concerning rate of random bits production

[Thor Lancelot Simon <tls%panix.com@localhost>]

On Sat, Jan 18, 2014 at 03:23:59PM -0500, Perry E. Metzger wrote:
> On Sat, 18 Jan 2014 13:44:21 -0500 Thor Lancelot Simon
> <tls%panix.com@localhost> wrote:
> > On Sat, Jan 18, 2014 at 01:10:19PM -0500, Perry E. Metzger wrote:
> > > 
> > > http://www.cs.nyu.edu/~dodis/ps/rng.pdf
> > 
> > The NetBSD RNG machinery goes to considerable effort to do what it
> > recommended by that and other related papers, and in some cases
> > more.
> 
> The paper presents a proof of a particular construction which is not
> the same as the construction currently in use, which does not
> have a similar proof. (I'm unaware of other constructions with proofs
> under similar dual adversary models.)

Sorry -- I had the wrong Dodis paper in mind.  Apologies; I will look.

Thor