Operating Systems · Institute for System Architecture · Dept. of CS · TU Dresden

Secure Microkernel-Based System Architecture (µSINA)


Secure Inter-Networking Architecture (SINA)
Project of the German Information Security Agency (Bundesamt für Sicherheit in der Informationstechnik = BSI)
Fact Sheet

DROPS - The Dresden Real-Time Operating System Project
Publications of the Operating Systems Group Dresden

Microkernel Fiasco
Implementation of the L4 microkernel interface for x86

VFiasco - Verified Fiasco
Automatically verify security relevant properties of a microkernel (Fiasco) with aid of a theorem proving tool

General information about microkernel operating systems
Microkernel-based OS efforts
Microkernel-based Operating Systems and Other Similar Systems

L4 Developer's Bibliography
Information for L4 kernel and user land developers


ACM Transactions
Computer Systems (TOCS)
Information and System Security (TISSEC)

IEEE Transactions


ACM Conference on Computer and Communications Security (CCS)

ACM Symposium on Operating Systems Principles (SOSP)

IEEE Symposium on Security and Privacy (SRSP)

USENIX Symposium on Operating Systems Design and Implementation (OSDI)

USENIX Symposium on Security (Security)

USENIX Workshop on Hot Topics in Operating Systems (HotOS)

Christian Helmuth, http://os.inf.tu-dresden.de/~ch12/
3. May 2004
· Copyright © 2001-2019 Operating Systems Group, TU Dresden | Impressum ·