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
Formal Methods for Design & Verification

The SCoS group is looking at methods to make systems correct by construction. In particular, we are researching methods to automatically generate correct code and to correct ...

Read more...

Institute for Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Sep 16
D.A.CH 2014 hosted by IAIK
Die D.A.CH-Security 2014 bringt eine interdisziplinäre Übersicht zum aktuellen Stand ...
Read more »
Jun 20
Austrochip 2014 hosted by IAIK
Austrochip is an annual meeting and platform to present the latest activities in the field of microe...
Read more »
May 26
Discrete Logarithm of a 113-bit Koblitz Curve Solved
Erich Wenger and Paul Wolfger set a new record by solving the discrete logarithm problem of a 113-bi...
Read more »