Taming subsystems: capabilities as universal resource access control in L4. - Adam Lackorzynski; Alexander Warg (IIES@EuroSys, 2009)

Virtual machines jailed: virtualization in systems with small trusted computing bases. - Michael Peter; Henning Schild; Adam Lackorzynski; Alexander Warg (VDTS@EuroSys, 2009)

L4Android: a generic operating system framework for secure smartphones. - Matthias Lange; Steffen Liebergeld; Adam Lackorzynski; Alexander Warg; Michael Peter (SPSM@CCS, 2011)

Less is More - A Secure Microkernel-Based Operating System. - Adam Lackorzynski; Alexander Warg (SysSec@DIMVA, 2011)

Rounding pointers: type safe capabilities with C++ meta programming. - Alexander Warg; Adam Lackorzynski (PLOS@SOSP, 2011)

Flattening hierarchical scheduling. - Adam Lackorzynski; Alexander Warg; Marcus Völp; Hermann Härtig (EMSOFT, 2012)

L4Android security framework on the Samsung galaxy S2. - Matthias Lange; Steffen Liebergeld; Adam Lackorzynski; Alexander Warg; Janis Danisevskis; Jan Nordholz (ACM SIGMOBILE Mob. Comput. Commun. Rev., 2012)

Flat but trustworthy: security aspects in flattened hierarchical scheduling. - Adam Lackorzynski; Marcus Völp; Alexander Warg (SIGBED Rev., 2014)

Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel Systems. - Adam Lackorzynski; Alexander Warg (RTAS, 2016)