Secure Microkernel-Based System Architecture (µSINA)

Links:

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

Journals

ACM Transactions

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

IEEE Transactions

Computers
Networking

Conferences

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)