Oh, yes. I did have a great with Stepan when I started working on this. He was a great help.
nostr:npub1773r2y5zl3sa7xufmye96un3hf02rse8j82hkd45ps0wvk2hrkasslesjt just in case this could be useful and you haven't seen it already... on Stephan Livera podcast SLP231 there was discussion from Specter dev on java cards and I see they have this github https://github.com/cryptoadvance/specter-javacard
Discussion
Ok awesome. Loved hearing you talk on podcast with nostr:npub1cj8znuztfqkvq89pl8hceph0svvvqk0qay6nydgk9uyq7fhpfsgsqwrz4u - good luck!