Hello there.
I'm an old guard smartcard software dev, one of the people who used to use titancards, goldcards and funcards for things other than watching TV -- at one point I reverse engineered the TC2 operating system to find out more about how the OS and the 90SC chip worked.
(oh how I wish...