Banner Left
Logo
Publications

...

Read more...


Logo
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
May 28
"Bachelor@IAIK 2015: Presentations, Presentations, Presentations, ...
On Friday, May 29th, another 12 students are about to deliver results achieved d...
Read more »
Apr 09
EU Horizon 2020: Project IMMORTAL Kick-Off
On March 22 and 23 we kicked-off the EU Horizon 2020 project IMMORTAL (Integrated Modelling, Fau...
Read more »
Apr 7
"alumniTUGraz Prize for Excellence in Teaching" goes to "Rechnerorganisation"
Karl Christian Posch has been awarded the "alumniTUGraz Prize for Excellence in ...
Read more »