Inhalt des Dokuments
zur Navigation
Open Topics
The topics below are just a short excerpt of the topics we have to offer. Please contact us as well if you have general interest in security related tasks. The topics below can be adapted for Bachelor and Master/Diploma thesis.
| 1 | Improving Side Channel Analysis by Intelligent Trace Alignment |
| Supervisor: Juliane Krämer | |
| Modern smart cards must be protected against a wide range of attacks, including side channel attacks. A powerful and well-studied side channel technique is differential power analysis – DPA - which analyses the statistics of power consumption of a device over many iterations while it is performing a cryptographic operation, e.g., DES or AES. By relating the power usage and the data values being processed, the secret key can be revealed. To reduce the effectiveness of side channel attacks, smart card manufacturers implement countermeasures, which seek to break the underlying assumptions of such attacks. The goal of this thesis is the evaluation and improvement of existing alignment algorithms and the implementation of the result, yielding a working tool for the preprocessing of side channel measurements. In particular, the improved alignment algorithm should enable the simultaneous alignment of multiple contiguous sub-operations of a given cryptographic algorithm. See the full description (PDF, 53,8 KB) for more details. | |
| -- | |
| 2 | Extended SVM Support for Qemu |
| Supervisor: Michael Peter | |
| Qemu already has basic support for AMD's virtualization extension SVM. However the implementation differs from the recommendations in handling certain conditions and lacks support for nested paging. The task is to implement nested paging support for SVM in Qemu. | |
| -- | |
| 3 | Support for More Operating Systems in Karma |
| Supervisor: Matthias Lange | |
| Karma is our virtual machine monitor (VMM) ontop of the Fiasco microkernel. It supports paravirtualization of operating systems. The changes neccessary to the Linux kernel are around 3.500 lines of code. The task is to adapt other OS's (e.g. Fiasco, Dragonfly BSD, ReactOS) to run in Karma and evaluate on the effort and performance of the para-virtualized systems. | |
| -- | |
| 4 | Port Various Operating Systems to the Fiasco.OC Microkernel |
| Supervisor: Michael Peter | |
| Fiasco now supports an alternative execution model based on so called vCPUs. This should simplify porting new operating systems onto Fiasco. The task is to show that the vCPU model eases the porting effort by porting various operating systems (e.g. Fiwix, this, exclaim, Haiku, CapROS, GNU Hurd (Mach), Darwin, Minix) to run on Fiasco. The task may include porting Fiasco to its own vCPU interface (self-virtualization). | |
| -- | |
| 5 | L4Linux as a Device Driver Provider |
| Supervisor: Michael Peter | |
| L4Linux is a usermode port of the Linux kernel to run as a deprivileged user mode task ontop of the Fiasco microkernel. As device driver availability is crucial for any operating system it is desirable to reuse existing Linux device drivers. The task is to modify L4Linux in such a manner that it can be used as a driver server. This includes modifying the kernel that it accommodates the functionality (threads, IPC gates) to render services to other native clients. | |
Other random topics and ideas
- Porting the virtio framework to the Fiasco microkernel and the L4Re environment, contact Matthias Lange
- Porting libvirt to the Fiasco microkernel, contact Matthias Lange
- Harddisk virtualization on Fiasco/L4Re, Master / Diploma thesis, contact Michael Peter
- Port Network Interface Card Drivers from Windows to L4 (RevNIC), contact Steffen Liebergeld