Publications

Design of the Bastei OS Architecture

 

The Nizza Secure-System Architecture

 

Mikro-SINA—Hands-on Experiences with the Nizza Security Architecture.

 

A Case Study on the Cost and Benefit of Dynamic RPC Marshalling for Low-Level System Components

 

Overlay Window Management: User interaction with multiple security domains

 

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

 

Demonstration of DOpE — a Window Server for Real-Time and Embedded Systems (extended abstract)

 

Security policies in Nizza on top of L4.sec

 

Empirical Comparison of SCons and GNU Make

This paper examines GNU Make and SCons as representatives of two conceptually distinct approaches to conduct software builds. General build-system concepts and their respective realizations are discussed. The performance and scalability are empirically evaluated by confronting the two competitors with comparable real and synthetic build tasks.

Securing Graphical User Interfaces

Malware such as Trojan Horses and spyware remain to be persistent security threats that exploit the overly complex graphical user interfaces of today's commodity operating systems. Current GUI architectures have to find a balance between the four conflicting goals of maintaining compatibility to existing applications, providing quality of service, operating at high performance, and of being secure, whereby the latter goal still remains widely disregarded by mainstream GUI architectures. The challenge of Norman Feske's work was to resolve the conflict. He developed key techniques and substantiated the concepts by a number of exhaustive experiments. The resulting architecture consolidates the advantages of extremely low source-code complexity, full client isolation, protection against spyware and Trojan Horses, bounded output latency, and compatibility to existing applications into one GUI-server design.

Genode FX: an FPGA-based GUI with Bounded Output Latency and Guaranteed Responsiveness to User Input

This paper presents a composition of hardware and software that forms a fully fledged windowed GUI on a single FPGA plus memory chip. The solution scales with the full range of Xilinx FPGAs. But even on the low-cost Xilinx Spartan3A FPGA, the GUI operating at a 16bit resolution of 640x480 is able to guarantee a bounded output latency of only 220 ms and a guaranteed response time to user input of less then 20 ms. The paper covers both an overview of our custom hardware design and our software algorithms that make these guarantees possible.

Genode FX: eine FPGA-basierte grafische Benutzerschnittstelle

Genode FX ist eine Kombination aus Hardware-IP und Software, die es erlaubt, komplexe grafische Benutzeroberflächen mittels low-cost FPGAs als System-on-Chip-Lösungen zu realisieren. Für die designierten Anwendungsbereiche Steuerungs- und Messtechnik besteht besonderes Augenmerk auf der zeitlichen Vorhersagbarkeit grafischer Ausgaben und einer garantierten Reaktionszeit auf Benutzereingaben. Der Artikel bietet einen Überblick über das zugrunde gelegte Hardware-Design und unsere Software-Architektur, die solche zeitlichen Garantien ermöglicht.

Portierung von Qt auf Genode

Qt4 is a popular C++ framework for creating platform-independent GUI applications. This document describes the endeavor to make Qt4 natively available on top the Genode OS Framework.