lwn.net / Share Newsitem

Four researchers have published a formal proof that Linux's new deterministic random bit generator (DRBG) is secure in a particular sense -- specifically, that the number of queries that would need to be made to it to uncover its internal state