A Provable-Security Analysis of Intel's Secure Key RNG
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2015, PT I, pp. 77-100, 2015.
We provide the first provable-security analysis of the Intel Secure Key hardware RNG (ISK-RNG), versions of which have appeared in Intel processors since late 2011. To model the ISK-RNG, we generalize the PRNG-with-inputs primitive, introduced by Dodis et al. at CCS'13 for their /dev/[u]random analysis. The concrete security bounds we unc...More
PPT (Upload PPT)