Practical Detection of Entropy Loss in Pseudo-Random Number Generators
Felix Dörre, Vladimir Klebanov · 2016
Pseudo-random number generators (PRNGs) are a critical infrastructure for cryptography and security of many computer applications. At the same time, PRNGs are surprisingly difficult to design, implement, and debug. This paper presents the first static analysis technique specifically for quality assurance of cryptographic PRNG implementations.