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


Logo
Publications

...

Read more...

Institute of Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Feb 27
EU Horizon 2020 Project PRISMACLOUD Kick-Off
From February 24th to 25th we have officially kicked-off the EU Horizon 2020 project PRISMACLOUD (...
Read more »
Jan 21
Join IAIK as PhD student or postdoc
The secure systems group is currently looking for PhD students and postdoctoral researchers. See the...
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 »