Banner Left
Logo
E-Government Innovation Center

EGIZ, led by Arne Tauber, is a joint effort of the Office of the Austrian Chancellery and IAIK. EGIZ provides the scientific background to the highly successful e-Government developme...

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