A Provable Security Analysis of Intel's Secure Key RNG [pdf] | Hacker News Reader