Seminars/Projects

We offer opportunites for master-projects for all students of Informatik, Softwareentwicklung/Wirtschaft and Telematik. Most of these offers are closely related to one of our research-projects. A follow-up master thesis in the same area is perfectly possible and desired!

Content

While only a few teachers are officially listed, Master-projects are typically supervised by all senior researchers and teachers at IAIK.

How to do a Master-project @ IAIK

Look here for projects listed or look at the display cabinet at the ground floor. If you don't find anything of interest, talk to us - we are always looking for motivated students!

Main research topics covered @ IAIK

Projects offered

Projekt	Inf	SEW	Tel	Contact
Trusted Computing & Java Security
JCE Provider for JavaCard				Kurt Dietrich
Future Security Modules for Trusted Computing				Ronald Tögl
Data Stay Put - Android Privacy Protection				Daniel Hein
Comparison of Anonymous Credential Systems				Kurt Dietrich
Anonymous VPN for Mobiles				Kurt Dietrich
Advanced Anonymity Protecting Technologies for Embedded Systems				Kurt Dietrich
Virtual Bug				Daniel Hein
Why should Alice trust Bob?				Ronald Tögl
Java Cryptography Provider for Trusted Platform Modules				Kurt Dietrich
Portable Trusted Computing using the .NET Framework				Kurt Dietrich
A Secure Smart Element for Small Devices				Martin Pirker
Global Mobile Cloud Computing				Martin Pirker
Privacy Preserving Resource Consumption in the Cloud				Martin Pirker
Secure Mobile Application/Content Delivery				Martin Pirker
Practical TPM Virtualization				Ronald Tögl
Defiant Cloud				Ronald Tögl
ARM TrustZone Abstraction				Ronald Tögl
Implementation Attacks
SCA on FPGAs: Breaking Xilinx Bitstream Encryption				Mario Kirschbaum
Measurement Setups for DPA/DEMA Attacks on RFID Tags				Thomas Korak
Evaluating Preprocessing Techniques for Power-Analysis Attacks				Thomas Korak
EM Attacks on Mobile Phones				Michael Hutter
RFID
RFID using ATmega on FPGA				Erich Wenger
Custom MSP430 for RFID				Michael Hutter
VLSI
Hardware Trojans on FPGAs				Michael Hutter
Power Estimations of VLSI Designs				Mario Kirschbaum
True Random Number Generators on FPGAs				Thomas Plos
Optimize Microprocessor Instruction-Set for ECC				Erich Wenger
FPGA-based Fault Simulation				Erich Wenger
Secure Software Implementation of AES				Thomas Plos
Enabling Interrupts on a Self-Designed Microcontroller Platform				Thomas Plos
Cryptography
Implementation of the Cube Attack				Tomislav Nad
SAT Solvers and Hash Functions				Tomislav Nad
Advanced algorithms for the CodingTool				Tomislav Nad
Differential Cryptanalysis of a SHA-3 Candidate				Martin Schläffer
ARM NEON Implementation of Grøstl for Android				Martin Schläffer
Intel AVX and VPerm Implementation of Grøstl				Martin Schläffer
Bitslice Implementation of Grøstl				Martin Schläffer
Ultra-Fast Public-Key Crypto: MQQ-Crypt				Martin Schläffer
Design and Verification
Sandboxing Native Code				Roderick Bloem
Trace to Specification Distance				Roderick Bloem
Security Model Checker				Roderick Bloem
Repair by Model Checking				Robert Könighofer
Pipeline Controller Synthesis				Georg Hofferek
E-Government
Canonical PDF Text Extraction Algorithm				Thomas Rössler
Text Analysis for e-Participation Data				Peter Teufl
Word Sense Disambiguation for German				Peter Teufl

Former projects

To give you an idea about typical projects, here is a selection: