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
Aug 16
CAESAR competition: Ascon selected as third-round candidate
Ascon, an authenticated encryption algorithm designed by IAIK cryptographers, has been selected as o...
Read more »
Apr 14
Best Paper Award at COSADE 2016
The paper "Exploiting the Physical Disparity: Side-Channel Attacks on Memory Encryption" by Thomas ...
Read more »
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 »