Key References

Cards

jTOP Platform

Infineon / Sony / Visa
Development of VISTA product (Visa Infineon Sony Trusted Logic Alliance): first card to offer Java Card™ platform alongside native OS (jTOP alongside FeliCa™), using both contact and contactless communication protocols. VISTA has been approved by Visa, and is a nominee for the SESAME SOFTWARE 2004 award.

Infineon
jTOP v1 and jTOP v2 developed on Infineon platforms approved by Visa.

ATMEL
Porting of the jTOP core with GSM add-on (MaXim).

STMicroelectronics
Porting of the jTOP core on ST19x Range.

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.

Terminals

Innova Card / Sagem / Thales
Porting of Trusted Logic's STIP technology.

GlobalPlatform
Extensions to current industry standard (STIP: Small Terminal Interoperable Platform) on behalf of GlobalPlatform.
Supply of GPD/STIP Simulator.

Ingenico
Licensing of Trusted Logic's On-Terminal Verifier to be incorporated into Ingenico Java operated eftpos product line.

Gemplus / Innova Card / Wave Systems / Xiring
Porting of Trusted Logic's FINREAD technology.

STIP Consortium
Supply of STIP Test Suites.

Mobiles

ARM
Optimization of Trusted Foundations™ Software for ARM's TrustZone™ technology and other ARM processors.

Orange
Licensing of Trusted Foundations™ Software technology and Service Development Toolkit. Integration of DRM, signature, payment and device management solutions.

Intel / STMicroelectronics / Texas Instruments
Integration of Trusted Foundations™ Software technology with secure mobile application processors.

Texas Instruments
Porting of a J2ME framework to the Texas Instruments chipset product family for 2.5G mobile phones and integration of Trusted Foundations™ Software.

Security Consulting Services

Security Architecture Consulting

Visa International
First Visa Smart Star Award in 2002, acknowledging Trusted Labs key contributions to the enhancement of overall Open Platform systems security (e.g. VSAM: Verification Security Application Module).

BMS / Carte Bleue / Crédit Agricole / GIE Sesam-Vitale / GIP CPS
Assistance in definition of security scope for new Java product strategy.

GIE Cartes Bancaires / Viaccess / Gemplus Terminals
Risk Analyses taking into account usage scenarii as well as the related standard and industry specifications.
Definition of security requirement for open systems.

MasterCard International
Definition of Java Card™ security guidelines for MasterCard member banks, to be used in CAST process:
           Applet security guidelines
           Java Card™ implementation guidelines
           GlobalPlatform implementation guidelines

MasterCard International
M/Chip 4 and MODS Test Suites, to be used in CAST process.

Axalto and others.
Security requirements with TL SET.

Texas Instruments
 

Common Criteria Consulting

DCSSI
Definition of Protection Profiles for the following systems:
           Electronic signature applications
           Time-stamping modules
           VPN Gateway encryption modules
           Electronic signature validation applications.

Axalto Terminals / BMS / Carte Bleue / Crédit Agricole / GIE Sesam-Vitale / GIP CPS
Security target definition and support in evaluation process concerning several national projects, such as Vocable, Moneo, French healthcare card project (doctor side), APACS.

Axalto
CC EAL7 methodology evaluation concerning JCVM level (interpreter, linker, loader, verifier) certified by the DCSSI in July 2003.

Sun Microsystems
Definition of Java Card™ System Protection Profile (JCS PP) available to Java Card™ Licensees on Sun website. Officially recognized by the Java Card™ Forum and GlobalPlatform. Certified by the DCSSI on September 30, 2003.

Back to the top