This HW (including its random generator) had FIPS certification to be used in critical applications such as government. Oddly enough, the bug was added during the cert. process. Also, why Yubico has two kinds of products - one for regulars and one for governments - is beyond me.https://twitter.com/marcan42/status/1140192727268593664 …
Also remember that the Infineon ROCA screwup (which affected all Yubikeys) also flew right past FIPS certification.