Adam Lackorzynski

According to our database, Adam Lackorzynski authored at least 27 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Core-Local Reasoning and Predictable Cross-Core Communication with M³.

Nils Asmussen, Sebastian Haas, Adam Lackorzynski, Michael Roitzsch

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

2022

Safety Certification with the Open Source Microkernel-Based Operating System L4Re.

Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel

Proceedings of the Computer Safety, Reliability, and Security, 2022

2020

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, Amnon Barak, Masoud Gholami, Florian Schintke, Thorsten Schütt, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel

Proceedings of the Software for Exascale Computing - SPPEXA 2016-2019, 2020

2019

Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles.

Kai Lampka, Adam Lackorzynski

Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019

FFMK: An HPC OS Based on the L4Re Microkernel.

Carsten Weinhold, Adam Lackorzynski, Hermann Härtig

Proceedings of the Operating Systems for Supercomputers and High Performance Computing, 2019

2017

Sandcrust: Automatic Sandboxing of Unsafe Components in Rust.

Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Lateral Thinking for Trustworthy Apps.

Hermann Härtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

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, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel

Proceedings of the Software for Exascale Computing - SPPEXA 2013-2015, 2016

Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel Systems.

Adam Lackorzynski, Alexander Warg

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.

Kai Lampka, Adam Lackorzynski

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 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

Proceedings of the 1st Workshop on System Software for Trusted Execution, 2016

Decoupled: Low-Effort Noise-Free Execution on Commodity Systems.

Adam Lackorzynski, Carsten Weinhold, Hermann Härtig

Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers, 2016

2015

Secure Virtualization of Latency-Constrained Systems.

Adam Lackorzynski

PhD thesis, 2015

2014

Flat but trustworthy: security aspects in flattened hierarchical scheduling.

Adam Lackorzynski, Marcus Völp, Alexander Warg

SIGBED Rev., 2014

Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems.

Marcus Völp, Marcus Hähnel, Adam Lackorzynski

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

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

Flattening hierarchical scheduling.

Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Rounding pointers: type safe capabilities with C++ meta programming.

Alexander Warg, Adam Lackorzynski

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Poster: evaluation of the industrial suitability of a software platform for future smartphones.

Adam Lackorzynski, Maria Elizabeth Gonzalez, Attila Bilgic, Hans Bauernfeind

Proceedings of the 9th International Conference on Mobile Systems, 2011

Less is More - A Secure Microkernel-Based Operating System.

Adam Lackorzynski, Alexander Warg

Proceedings of the First SysSec Workshop 2011, 2011

L4Android: a generic operating system framework for secure smartphones.

Matthias Lange, Steffen Liebergeld, Adam Lackorzynski, Alexander Warg, Michael Peter

Proceedings of the SPSM'11, 2011

2009

ICT-Emuco. An innovative solution for future smart phones.

Maria Elizabeth Gonzalez, Attila Bilgic, Adam Lackorzynski, Dacian Tudor, Emil Matús, Irv Badr

Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Virtual machines jailed: virtualization in systems with small trusted computing bases.

Michael Peter, Henning Schild, Adam Lackorzynski, Alexander Warg

Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

Taming subsystems: capabilities as universal resource access control in L4.

Adam Lackorzynski, Alexander Warg

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

2008

Acceleration of the L4/Fiasco microkernel using scratchpad memory.

Sebastian Hessel, Felix Bruns, Attila Bilgic, Adam Lackorzynski, Hermann Härtig, Josef Hausner

Proceedings of the First Workshop on Virtualization in Mobile Computing, 2008

Virtualization as an enabler for security in mobile devices.

Jörg Brakensiek, Axel Dröge, Martin Botteck, Hermann Härtig, Adam Lackorzynski

Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

2005

The Nizza secure-system architecture.

Hermann Härtig, Michael Hohmuth, Norman Feske, Christian Helmuth, Adam Lackorzynski, Frank Mehnert, Michael Peter

Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005