TKey is a RISC-V computer in a USB-C case, that can run security applications
There is a discussion on Hacker News, but feel free to comment here as well.
TKey: A reasonably secure RISC-V computer in a USB stick
There is no way of storing a device application (or any other data) on the TKey. A device app has to be loaded onto the TKey every time you plug it in.
I think I found the security flaw.