Logo
Logo-Icon Sitemap Print-Icon Print-Version Contact-Icon Contact
  • Home
  • About IAIK
    • People
    • News
    • Events
    • How To Reach Us
    • Jobs
    • Privacy Policy
  • Research
    • Publications
    • Advanced Networking
    • E-Government
    • Formal Methods for Design & Verification
    • Implementation Attacks
    • Java-Security
    • Krypto
    • Secure & Correct Systems
    • Secure RFID
    • Trusted Computing
    • VLSI
  • Teaching
    • Bachelor Courses
    • Master Courses
    • Master Theses
    • Microsoft Academic Alliance
    • PhD
  • Partnerships
    • A-SIT
    • Stiftung SIC
Left Logo
Research
Publications Advanced Networking E-Government Formal Methods for Design & Verification Implementation Attacks Java-Security Krypto Secure & Correct Systems Secure RFID Trusted Computing VLSI
Download IAIK Info Brochure
Right Logo
You are here: Start » Research

Research

IAIK researches information security in a broad context: Researchers work in the areas of cryptography, e-government, e-identity, trusted computing, RFID security, secure hardware implementations of cryptographic algorithms, side-channel analysis, network security, and design and formal verification.


Publications

Here you can find our publications, that are sorted chronologically. Use the links representing the years or the ones below the list to navigate to those publications you are interested in.

Read more »



Advanced Networking

The Network Security Group focuses on secure computer network infrastructures, in particular in the field of traffic verification and intrusion detection. The group investigates machine-learning techniques for building models that can detect traffic anomalies, but also unseen attacks.

Read more »


E-Government Innovation Center

EGIZ is a joint effort of the Office of the Austrian Chancellery and IAIK. EGIZ provides the scientific background to the highly successful e-Government development in Austria. In the EU-wide ranking of e-Government implementations, Austria has been ranked number 1 in the years 2006 and 2007.

Read more »


Formal Methods for Design & Verification

The Design and Verification Group started work on 1 February 2008. Lead by Roderick Bloem, they study the use of formal methods for the design of correct systems. This includes verification, automatic fault localization and repair, and correct-by-construction design

Read more »


Implementation Attacks

Our group investigates all types of implementation attacks (side-channel analysis, fault analysis, probing attacks, etc.), which pose a serious threat to all types of crypto devices (smart cards, RFID tags, embedded systems, etc.). Based on the experiences gained in the attacks, we develop efficient countermeasures for hardware and software implementations of crypto devices.

Read more »


Java Security

This group focuses on secure and performance optimized software implementations of cryptographic algorithms and protocols. The research area covers several aspects of data and communication security from basic cryptographic methods to high-level technologies like Public Key Infrastructures, TLS, Embedded & Mobile-Security, E-Mail- or XML-Security. The JavaSecurity group is lead by Peter Lipp and actively participates in international standardisation activities like ETSI-ESI, OASIS-DSS or relevant IETF and W3C working groups.

Read more »


Krypto

IAIK's Krypto Group is lead by the cryptologist Vincent Rijmen. Vincent Rijmen is the co-designer of the algorithm Rijndael, which in October 2000 was selected by the National Institute for Standards and Technology (NIST) to become the Advanced Encryption Standard (AES).

Read more »


Secure RFID

Our main motivation is to provide state-of-the-art and standardized crypto solutions for passive RFID technology. To achieve this, it is necessary to design dedicated HW crypto modules that fulfil ultra low power requirements. Based on our suggested HW modules, we provide suggestions for secure protocol extensions and application prototypes using secure RFID technology. The vision of our research is to enable a Secure Internet of Things based on passive RFID devices with real crypto capability.

Read more »


Trusted Computing

Based on more than ten years of experience in implementing Java™ based cryptography, the Trusted Computing and Java Team focuses on Java™ language and PKI support for Trusted Computing. Research aims at trusted technology for small devices like mobile phones and other embedded and networked systems.

Read more »


VLSI

We focus on secure application specific hardware implementations of cryptographic algorithms. The requirements for our developments are deduced from real word applications to find the best fitting optimization goals. Investigations on design methodologies and specific implementation issues (area efficiency, low-power, low energy, high-throughput, SCA protection) of symmetric and asymmetric cryptographic algorithms like AES, ECC, SHA, DES or RSA are performed.

Read more »

© 1990 - 2010 IAIK TU Graz
Contact | Jobs | Sitemap | Impressum