17.01.2014 Views

Download IAIK Info Brochure - Institute of Applied Information ...

Download IAIK Info Brochure - Institute of Applied Information ...

Download IAIK Info Brochure - Institute of Applied Information ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Formal Methods for Design & Verification<br />

The Design and Verification Group started work in<br />

February 2008. Lead by Roderick Bloem, the group<br />

studies the use <strong>of</strong> formal methods for the design <strong>of</strong> correct<br />

systems. This includes verification, automatic fault<br />

localization and repair, and correct-by-construction design.<br />

E-Government Innovation Center (EGIZ)<br />

EGIZ is a joint effort <strong>of</strong> the Federal Chancellery Austria and<br />

<strong>IAIK</strong>. EGIZ provides the scientific background to the highly<br />

successful e-Government development in Austria. In the<br />

EU-wide ranking <strong>of</strong> e-Government implementations, Austria<br />

has been ranked number 1 in the years 2006 and 2007.<br />

Secure <strong>Info</strong>rmation Technology Center Austria (A-SIT)<br />

A-SIT is a joint project <strong>of</strong> the Austrian Ministry <strong>of</strong> Finances, the<br />

Austrian National Bank, and <strong>IAIK</strong>. <strong>IAIK</strong> constitutes the research<br />

unit in this center. A-SIT supports Austria’s public administration<br />

in questions <strong>of</strong> information security. Currently, the policies for<br />

electronic signatures, the use <strong>of</strong> cryptography, the citizen card<br />

and its role within Austria’s e-government are the major research<br />

topics.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!