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 > <[email protected]> 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
