Modified the title to include the project name first like most of the other papers on this project. Consistency helps when people do follow-up searches. The main work is paywalled but here’s another paper with details:
This was the last project of one of INFOSEC’s founders, Paul Karger, who died around the end of it. His prior work at IBM enforced secure, info flow at the CPU level. Having done OS’s, VMM’s, and a CPU, he decided to try to secure smartcards w/ an OS that could maintain separation and integrity even in presence of malicious apps or power losses. The competition in that space was MULTOS which has been deployed a while.