Latest news

No news at this moment


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker


Infineon Technologies AG

Infineon Technologies AG

Further Information :

About Infineon Technologies AG

Infineon Technologies AG, Neubiberg, Germany, offers semiconductor and system solutions addressing three central challenges to modern society: energy efficiency, mobility, and security. In the 2012 fiscal year (ending September 30), the Company reported sales of Euro 3.9 billion with close to 26,700 employees worldwide. Infineon is listed on the Frankfurt Stock Exchange (ticker symbol: IFX) and in the USA on the over-the-counter market OTCQX International Premier (ticker symbol: IFNNY).

Based on its core competencies in the fields of security, contactless communication and integrated microcontroller solutions, Infineon offers a comprehensive portfolio of semiconductor-based security products for many chip card and security applications. Infineon uses this expertise to improve security in an increasingly connected world, e.g. mobile payments, system security and secure electronic sovereign documents. Infineon has developed innovative, hardware-based security solutions for over 25 years and has been the global market leader for 15 years.
Further information on Infineon's chip card and security solutions is available under

Role in the Project

Infineon Technologies AG contributes its strong background in Trusted Computing and the development of security software to the project. This is realized by the development and evaluation of specific software for embedded Trusted Computing. Infineon is involved in the development of security concepts for smart metering, automotive and industrial automation. As manufacturer of the Trusted Platform Module (TPM) chip, Infineon contributes a generic security concept based on a secure microcontroller in combination with elaborated and evaluated host software to enable the protection of embedded platforms.
Infineon will also support the collaboration of STANCE with the Trusted Computing Group (TCG).

Key Personnel