Adam Lackorzynski

Orcid: 0000-0003-4679-1728

Affiliations:
  • TU Dresden, Faculty of Computer Science, Germany
  • Kernkonzept GmbH, Dresden, Germany


According to our database1, Adam Lackorzynski authored at least 26 papers between 2005 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Safety Certification with the Open Source Microkernel-Based Operating System L4Re.
Proceedings of the Computer Safety, Reliability, and Security, 2022

2020
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing.
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.
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019

FFMK: An HPC OS Based on the L4Re Microkernel.
Proceedings of the Operating Systems for Supercomputers and High Performance Computing, 2019

2017
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Lateral Thinking for Trustworthy Apps.
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.
Proceedings of the Software for Exascale Computing - SPPEXA 2013-2015, 2016

Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel Systems.
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.
Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control.
Proceedings of the 1st Workshop on System Software for Trusted Execution, 2016

Decoupled: Low-Effort Noise-Free Execution on Commodity Systems.
Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers, 2016

2015
Secure Virtualization of Latency-Constrained Systems.
PhD thesis, 2015

2014
Flat but trustworthy: security aspects in flattened hierarchical scheduling.
SIGBED Rev., 2014

Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2012
L4Android security framework on the Samsung galaxy S2.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2012

Flattening hierarchical scheduling.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
Rounding pointers: type safe capabilities with C++ meta programming.
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.
Proceedings of the 9th International Conference on Mobile Systems, 2011

Less is More - A Secure Microkernel-Based Operating System.
Proceedings of the First SysSec Workshop 2011, 2011

L4Android: a generic operating system framework for secure smartphones.
Proceedings of the SPSM'11, 2011

2009
ICT-Emuco. An innovative solution for future smart phones.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Virtual machines jailed: virtualization in systems with small trusted computing bases.
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

Taming subsystems: capabilities as universal resource access control in L4.
Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

2008
Acceleration of the L4/Fiasco microkernel using scratchpad memory.
Proceedings of the First Workshop on Virtualization in Mobile Computing, 2008

Virtualization as an enabler for security in mobile devices.
Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

2005
The Nizza secure-system architecture.
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005


  Loading...