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
Jan 13
Summer, Fun, and Sun Again: Apply for an IAIK Internship. Now.
Are you interested in what we are doing at IAIK? Have you even been thinking of applying fo...
Read more »
Dec 12
ERC Grants in IT Security and Brain-Computer Interfaces
Stefan Mangard and Gernot Müller-Putz, two researchers of the "Faculty for Computer Science an...
Read more »
Dec 10
Stefan Mangard to receive the highly prestigeous "ERC Consolidator Grant"...
...sponsored by the European Research Council for his proposal "SOPHIA – Securing Software ag...
Read more »