The Nizza secure-system architecture. - Hermann Härtig; Michael Hohmuth; Norman Feske; Christian Helmuth; Adam Lackorzynski; Frank Mehnert; Michael Peter (CollaborateCom, 2005)

Virtualization as an enabler for security in mobile devices. - Jörg Brakensiek; Axel Dröge; Martin Botteck; Hermann Härtig; Adam Lackorzynski (IIES@EuroSys, 2008)

Acceleration of the L4/Fiasco microkernel using scratchpad memory. - Sebastian Hessel; Felix Bruns; Attila Bilgic; Adam Lackorzynski; Hermann Härtig; Josef Hausner (MobiVirt, 2008)

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)

ICT-Emuco. An innovative solution for future smart phones. - Maria Elizabeth Gonzalez; Attila Bilgic; Adam Lackorzynski; Dacian Tudor; Emil Matús; Irv Badr (ICME, 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)

Poster: evaluation of the industrial suitability of a software platform for future smartphones. - Adam Lackorzynski; Maria Elizabeth Gonzalez; Attila Bilgic; Hans Bauernfeind (MobiSys, 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)

Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. - Marcus Völp; Marcus Hähnel; Adam Lackorzynski (RTAS, 2014)

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

Secure Virtualization of Latency-Constrained Systems. - Adam Lackorzynski (2015)

Decoupled: Low-Effort Noise-Free Execution on Commodity Systems. - Adam Lackorzynski; Carsten Weinhold; Hermann Härtig (ROSS@HPDC, 2016)

Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. - Marcus Völp; Adam Lackorzynski; Jérémie Decouchant; Vincent Rahli; Francisco Rocha; Paulo Jorge Esteves Veríssimo (SysTEX@Middleware, 2016)

Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use. - Kai Lampka; Adam Lackorzynski (MMB/DFT, 2016)

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

FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. - Carsten Weinhold; Adam Lackorzynski; Jan Bierbaum; Martin Küttler; Maksym Planeta; Hermann Härtig; Amnon Shiloh; Ely Levy; Tal Ben-Nun; Amnon Barak; Thomas Steinke 001; Thorsten Schütt; et al. (Software for Exascale Computing, 2016)

Lateral Thinking for Trustworthy Apps. - Hermann Härtig; Michael Roitzsch; Carsten Weinhold; Adam Lackorzynski (ICDCS, 2017)

Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. - Benjamin Lamowski; Carsten Weinhold; Adam Lackorzynski; Hermann Härtig (PLOS@SOSP, 2017)

FFMK: An HPC OS Based on the L4Re Microkernel. - Carsten Weinhold; Adam Lackorzynski; Hermann Härtig (Operating Systems for Supercomputers and High Performance Computing, 2019)

Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles. - Kai Lampka; Adam Lackorzynski (ICECS, 2019)

FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. - Carsten Weinhold; Adam Lackorzynski; Jan Bierbaum; Martin Küttler; Maksym Planeta; Hannes Weisbach; Matthias Hille; Hermann Härtig; Alexander Margolin; Dror Sharf; Ely Levy; Pavel Gak; et al. (Software for Exascale Computing, 2020)

Safety Certification with the Open Source Microkernel-Based Operating System L4Re. - Kai Lampka; Joel Thurlby; Adam Lackorzynski; Marcus Hähnel (SAFECOMP, 2022)

Core-Local Reasoning and Predictable Cross-Core Communication with M3. - Nils Asmussen; Sebastian Haas; Adam Lackorzynski; Michael Roitzsch (RTAS, 2024)

A Perfect Fit? - Towards Containers on Microkernels. - Till Miemietz; Viktor Reusch; Matthias Hille; Max Kurze; Adam Lackorzynski; Michael Roitzsch; Hermann Härtig (WOC@Middleware, 2024)

MettEagle: Costs and Benefits of Implementing Containers on Microkernels. - Till Miemietz; Viktor Reusch; Matthias Hille; Lars Wrenger; Jana Eisoldt; Jan Klötzke; Max Kurze; Adam Lackorzynski; Michael Roitzsch; Hermann Härtig (OSDI, 2025)