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


TU Graz

TU Graz

Further Information :

About TU Graz

Graz University of Technology (TUG) is represented by the Institute for Applied Information Processing and Communications (IAIK). IAIK's research spans the gamut from fundamental research to application aspects in areas like cryptology, computer security, formal design & verification, E-Government, computer networks, trusted computing, secure embedded systems and system-on-chip design. The institutes teaching activities are aligned with these research topics. In addition, IAIK acts as advisory board consulting public and private institutions in these areas.

Role in the Project

TUG's contribution to STANCE draws on its long standing expertise in formal methods for design and verification, trusted computing, and on Java cryptography. TUG's main role is to provide an embedded trusted computing library use case, together with Infineon, and to evaluate the developed static security analysis tools and methods on this use case. Furthermore, TUG will develop automatic error localization techniques to pinpoint flaws in the code, and contribute to the modeling of security properties.

Key Personnel

Prof. Roderick Bloem:

Ronald Tögl:

Robert Könighofer:

Johannes Winter:

Martin Pirker