Banner Left
Logo
Secure & Correct Systems

The Secure & Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems. This includes Trusted...

Read more...


Logo
Java Security

The Java Security group focuses on secure, performance-optimized software implementations of cryptographic algorithms and protocols. The research area covers several aspects of dat...

Read more...

Institute for Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Nov 26
"Best of IAIK 2014": And the winners are...
On Nov. 26th, 2014, IAIK has awarded three students for outstanding achievments du...
Read more »
Nov 26
Bachelor@IAIK 2015
On Nov. 26th, we have presented new bachelor project topics at the IAIK. Furthermore, we celebrate...
Read more »
Oct 27
Prize for Excellence in Teaching
Georg Hofferek has been awarded the Prize for Excellence in Teaching for the course Logic and Co...
Read more »