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
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
Dec 3
"IAIK Student Research Excellence Award 2016"
We are proud to announce the winners of this year's "Student Research Excellence Awards": Christian ...
Read more »
Dec 2
"Bachelor@IAIK 2017" and "Best Of IAIK 2016"
On Dec. 2nd, 12:00, we will present new bachelor project topics at the IAIK. Furthermore, we are goi...
Read more »
Nov 08
Successful PhD defence
The Systematic Construction of Correct Systems is happoy to announce that Daniel Hein succe...
Read more »