|
Publications:
- Christian Helmuth, Alexander Warg, Norman Feske:
-
Mikro-SINA - Hands-on Experiences with the Nizza Security
Architecture.
In D.A.CH Security 2005, Darmstadt, Germany, March 2005.
[PDF]
- Christian Helmuth, Andreas Westfeld, Michael Sobirey:
-
µSINA - Eine mikrokernbasierte Systemarchitektur für sichere
Systemkomponenten.
S. 439-453 in Bundesamt für Sicherheit in der Informationstechnik
(Hrsg.): IT-Sicherheit im verteilten Chaos, Tagungsband 8. Deutscher
IT-Sicherheitskongress des BSI, Secumedia-Verlag Ingelsheim 2003.
[PDF]
(best paper award)
- Oliver Stecklina:
-
Realisierung geschützter Speicherbereiche für Funktionen des LINUX
Systemkerns.
(best student paper)
Related work:
- H. Härtig, J. Löser, F. Mehnert, L. Reuther, M. Pohlack, A. Warg:
-
An I/O Architecture for Mikrokernel-Based Operating Systems.
Technical Report TUD-FI03-08-07-2003, TU Dresden, July 2003.
[PDF]
- Hermann Härtig:
-
Security Architectures Revisited.
SIGOPS European Workshop, September 2002.
[PDF]
- Michael Hohmuth, Hendrik Tews, Shane G. Stephens:
-
Applying source-code verification to a microkernel - The VFiasco
project.
Technical Report, March 2002.
[PDF]
- Hermann Härtig, Michael Hohmuth, Jochen Liedtke:
-
The Performance of µ-Kernel-based Systems.
SOSP, 1997.
[PDF]
- Jochen Liedtke:
-
Toward Real Microkernels.
Communications of the ACM, 39(9), pp. 70-77, September 1996
[PDF]
|
|
