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
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
Seminar Talk by Allan Tomlinson
Allan Tomlinson will give a seminar talk about "Simulation of attacks on Robotic Swarms" on November...
Read more »
Nov 08
First release of the ijtihad QBF solver
Vedad Hadzic, under the supervision of Nicolas Braud-Santoni at the Systematic Construction of...
Read more »