Banner Left
Logo
Secure Systems

The Secure Systems group, led by Prof. Stefan Mangard, focuses on algorithms, architectures, tools and design methodologies that allow to secure computing systems efficently and reliably. The main ...

Read more...


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...

Institute for Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Nov 26
Best Of IAIK 2014
On Nov. 26th, 6 pm, IAIK will award three students for outstanding achievments during their projec...
Read more »
Nov 26
Bachelor@IAIK 2015
On Nov. 26th, 6 pm, we will present new bachelor project topics at the IAIK. Furthermore, we celeb...
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 »