Intel's digital random number generator (DRNG). - George Cox; Charles Dike; D. J. Johnston (Hot Chips Symposium, 2011)