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.
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.
Prof. Roderick Bloem: