Errr, I was referring to Gnuk [0] that claims support, but it's rather a DIY project [1] than something to be mass manufactured. Sorry to disappoint you but from my shallow research in this matter the hardware used has several flaws (e.g. no secure element).
[0]: https://github.com/RaymiiOrg/gnuk/blob/master/README
[1]: http://www.fsij.org/gnuk/howto-make-gnuk-usb-token-by-stm32-...