[wmf]

Have you looked at these? I warn you, they are expensive.

http://www-03.ibm.com/security/cryptocards/pcicc/overview.sh... http://iss.thalesgroup.com/en/Products/Hardware%20Security%2... http://www.cputech.com/acalis/

[costan]

Thank you for the recommendations! I didn't know about the Cputech product.

Your intuition was right, they are too expensive for me. So, I should clarify: I am happy with using current-generation smart-card chips, but I would like to use them directly. The folks who wrote the JavaCard VM must have used some SDK... I want that SDK, so I can write my own OS.

Thanks!