This website does readability filtering of other pages. All styles, scripts, forms and ads are stripped. If you want your website excluded or have other feedback, use this form.

IAIK - TU Graz

Sitemap Print-Version Contact

Research
Publications

...

Read more...


Systematic Construction of Correct Systems

The Systematic Construction of Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems....

Read more...

Institute of Applied Information Processing and Communications


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems News Jan 03 "Meltdown and Spectre"
Researchers at IAIK together with others have discovered severe security leaks in computer systems. ...
Read more »
Nov 29 "IAIK Student Research Excellence Award 2017"
We are proud to announce the winners of this year's "Student Research Excellence Awards": Lukas Albe...
Read more »
Nov 29 [email protected] 2018
On November 29, 2017, 11 AM, we will present new bachelor project topics at the IAIK. Location: IAI...
Read more »
© 1990 - 2018 IAIK TU Graz Contact | Jobs | Sitemap | Impressum