Secure Software Components
Axalto
On-Card Bytecode Verifier (2001 European IST Prize Winner) licensed to Axalto (named Codeshield product). So far this technical challenge remains unmet (structural and semantic verifications on bytecode). The On-Card Verifier constitutes the main building block of the next generation of Java Card™.
Sun Microsystems
Reference Implementation of the Java Card™ 2.1 Virtual Machine in 2001. This chip based implementation is currently distributed as part of Sun’s Java Card™ Development Kit (Infineon based).
Off-Card Bytecode Verifier provided to Sun in 2000. This achieves a complete check of the Java Card™ bytecode, still reputed to be a technical challenge.
Aspects Software / Axalto / Datacard / Gemplus / and others
Trusted Logic On-Card Debugger provided to several key players in the smart card industry. This brings major advantages compared to PC-based debugging system.
Aspects Software / Renesas and others
License of Trusted Logic Visa GlobalPlatform 2.0.1’ and 2.1.1 software library.
GlobalPlatform
License of Trusted Logic Java Card™/GlobalPlatform Simulator acquired by GlobalPlatform, in support of its Card Compliance Program.
Visa International
First Visa Smart Star Award in 2002, acknowledging Trusted Logic key contributions to the enhancement of VSDC.
|