The title of this seems a little clickbaity. It'd be just as accurate to ask whether cryptographic software works correctly, especially after the Infineon debac

The title of this seems a little clickbaity. It'd be just as accurate to ask whether cryptographic software works correctly, especially after the Infineon debacle mentioned briefly in the later slides. (For those who don't remember it, RSA private keys generated by Infineon's proprietary code could be feasibly recovered from the public keys. This code was used in a large proportion of crypto smart cards and TPMs.)