About the TUD:OS Demo CD Features of the TUD:OS Demo CD TUD:OS Screenshots Download the TUD:OS Demo CD Contact the TU Dresden OS Group
About the TUD:OS Demo CD
TUD:OS Screenshots
Download the TUD:OS Demo CD
Contact the TU Dresden OS Group
Overview of the Demo CD Features

This Section of the website provides a brief overview of the various demo scenarios featured on the TUD:OS Demo CD. If you have questions or comments about a specific demo scenario, do not hesitate to contact the corresponding author using the contact information provided below.

Demo Scenarios


The first boot entry of the Demo-CD features a short introduction into the microkernel-based system architecture as the basic concept shared by all demo scenarios.

Read introduction online

A Nitpicker's guide to a minimal-complexity secure GUI

Nitpicker is a new low-complexity graphical user interface that is designed to execute security-sensitive applications and existing software side-by-side. This presentation will show off the features of Nitpicker and guide you through our software. On your way through the demo scenario, you will be acquainted with nice contemporaries such as Fiasco, Scout, DOpE, and L4Linux. You will see our approach of protecting you from the bad guys (e.g., Spyware) and enabling you to uncover Trojan Horses. Browse tutorial online
Read the paper about Nitpicker

Norman Feske and Christian Helmuth:
"A Nitpicker's guide to a minimal-complexity secure GUI",
(In proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), Tucson, Arizona, USA, December 2005)

Contact Norman Feske

Email: feske@os.inf.tu-dresden.de

Personal Website: http://os.inf.tu-dresden.de/~nf2

Qt for the L4 Environment

Qt is a widely-used cross-platform toolkit that is being developed by the Norwegian software company Trolltech. It allows software developers to create powerful applications that can run on any platform supported by Qt. The toolkit is available for a variety of platforms, including Unix and Microsoft Windows. With Qt's source code being available under the terms of the GNU General Public License, we were able to port version 3.3 the Qt toolkit to the L4 platform. On this Demo CD, we will give you some background information on the port. And, of course, you will also have the chance to try Qt for L4 yourself in an interactive demo. Browse tutorial online
Contact Carsten Weinhold

Email: cw183155@os.inf.tu-dresden.de

L4Linux - A virtualized Linux on a componentized, small kernel system

L4Linux is a port of the Linux kernel to L4 and makes it possible to run unmodified Linux programs on top of L4. In the L4Linux demo we will show how L4Linux integrates in an L4 system and point out several different usage scenarios in which L4Linux can be used. The actual demonstration focusses on launching multiple instances of L4Linux, until the system resources are exhausted. More deployments of L4Linux can be seen in the other demonstrations. Browse tutorial online
Contact Adam Lackorzynski

Email: adam@os.inf.tu-dresden.de

DSweeper / DDE Kit - Drivers in Userspace

When creating a new operating system the need for device drivers arises. Developing new drivers from scratch takes much time and implicates high costs. We at the TU Dresden are adopting a different approach: We reuse drivers of commodity operating systems by encapsulating them in a device driver environment (DDE). The DDE provides all functionality the commodity OS offers its drivers. Beside the DDE we just need to implement a single adapter per device class (IDE devices, audio devices, ...) which makes the driver's services available on our operating system. In the DDE demo we present a short summary about our research regarding device drivers, and as an example we show DSweeper, a disk erasure utility which uses the FreeBSD IDE driver for disk access. Browse tutorial online
Contact our driver developers Christian Helmuth and Thomas Friebel

Email: drivers@os.inf.tu-dresden.de

L4VFS - L4 virtual file system layer

L4VFS is the IO infrastructure for a Posix-like multi-server system on top L4 and DROPS. It comprises a set of client-side libraries gluing together typical C library functions in the client and a service providing set of servers on the other side. In the demo we show how terminal IO works, demonstrate some VT100 escape sequence magic, GNU Readline Library support, and file system browsing. Browse tutorial online
Contact Martin Pohlack

Email: pohlack@os.inf.tu-dresden.de

Personal Website: http://os.inf.tu-dresden.de/~mp26

Contact Björn Döbel

Email: doebel@os.inf.tu-dresden.de

Trusted E-Commerce Transaction Client

The large size and high complexity of current applications and systems software has resulted in security-sensitive applications with a large number of vulnerabilities. We present a solution that tackles the size and complexity aspect of security-sensitive software, by extracting security-sensitive portions of existing software in to smaller AppCores and TCBs. The Trusted E-Commerce Transaction client is one such application, that executes an e-commerce transaction protocol over SSL, complete with a parser and display, in under 10 KLOC. The client runs on top of an L4 microkernel based TCB, which contains around 100 KLOC. This is an order of magnitude smaller than a Linux based system (~1.5 MLOC - kernel + XServer). Browse tutorial online
Contact Lenin Singaravelu

Email: lenin@cc.gatech.edu