Bernhard Kauer

OSLO: Improving the Security of Trusted Computing

Bernhard Kauer, 2007, USENIX Security Symposium.

Authenticated booting for L4

Bernhard Kauer, B. Kauer, 2004 .

Enforcing Configurable Trust in Client-side Software Stacks by Splitting Information Flow

Calton Pu, Gueyoung Jung, Hermann Härtig, 2007 .

Improving system security through TCB reduction

Bernhard Kauer, B. Kauer, 2014 .

Towards a Scalable Multiprocessor User-level Environment

Udo Steinberg, Bernhard Kauer, 2010 .

NOVA: a microhypervisor-based secure virtualization architecture

Udo Steinberg, Bernhard Kauer, U. Steinberg, 2010, EuroSys '10.

Trusted Computing Serving an Anonymity Service

Hermann Härtig, Alexander Böttcher, Bernhard Kauer, 2008, TRUST.

L4.Sec Preliminary Microkernel Reference Manual

Bernhard Kauer, 2005 .

Recursive virtual machines for advanced security mechanisms

Alysson Neves Bessani, Paulo Veríssimo, Bernhard Kauer, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).

ATARE : ACPI Tables and Regular Expressions

Bernhard Kauer, 2009 .

Timeslice Donation in Component-Based Systems

Alexander Böttcher, Udo Steinberg, Bernhard Kauer, 2010 .