I'm researching how my smart card's chipset generates random numbers. According to a source in forums the YubiKey NEO is based on the A700x chipset from NXP. The page for the chipset indicates that the chipset provides a:
Low-power True Random Number Generator (TRNG) in hardware, AIS-31 compliant
I've been trying to determine what the AIS-31 spec defines, but Google has been fairly unproductive. I can find other chipsets that are certified by the same standard, but what does the certification mean? How is testing done?
Once I know either a) how this TRNG is implemented or b) what the certification consists of and means, I'll then be able to determine how much trust I should place in this chip's random number generation.