Christoph Baumann

According to our database, Christoph Baumann authored at least 21 papers between 2009 and 2023.

Collaborative distances:

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

2023

End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs.

Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg

ACM Trans. Priv. Secur., August, 2023

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust.

Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

Proceedings of the IEEE Secure Development Conference, 2023

Exploring the Environmental Benefits of In-Process Isolation for Software Resilience.

Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Rewind & Discard: Improving Software Resilience using Isolated Domains.

Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems.

Gerald Budigiri, Christoph Baumann, Eddy Truyen, Jan Tobias Mühlberg, Wouter Joosen

Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

2022

Unlimited Lives: Secure In-Process Rollback with Isolated Domains.

Merve Turhan, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

CoRR, 2022

A Case Study in Information Flow Refinement for Low Level Systems.

Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Network Policies in Kubernetes: Performance Evaluation and Security Analysis.

Gerald Budigiri, Christoph Baumann, Jan Tobias Mühlberg, Eddy Truyen, Wouter Joosen

Proceedings of the Joint European Conference on Networks and Communications & 6G Summit, 2021

On Compositional Information Flow Aware Refinement.

Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2019

On the verification of system-level information flow properties for virtualized execution platforms.

Christoph Baumann, Oliver Schwarz, Mads Dam

J. Cryptogr. Eng., 2019

2018

Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.

Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

2017

Compositional Verification of Security Properties for Embedded Execution Platforms.

Christoph Baumann, Oliver Schwarz, Mads Dam

Proceedings of the PROOFS 2017, 2017

2016

Provably secure memory isolation for Linux on ARM.

Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann

J. Comput. Secur., 2016

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures.

Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam

Proceedings of the IEEE Symposium on Security and Privacy, 2016

A high assurance virtualization platform for ARMv8.

Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, Hans Thorsen

Proceedings of the European Conference on Networks and Communications, 2016

System Architecture - An Ordinary Engineering Discipline

Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz

Springer, ISBN: 978-3-319-43065-2, 2016

2014

Ownership-based order reduction and simulation in shared-memory concurrent computer systems.

Christoph Baumann

PhD thesis, 2014

Simulation of the System-Wide Impact of Power-to-Gas Energy Storages by Multi-stage Optimization.

Christoph Baumann, Julia Schleibach, Albert Moser

Proceedings of the Operations Research Proceedings 2014, 2014

2012

Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

Proving Memory Separation in a Microkernel by Code Level Verification.

Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2009

Formal Verification of a Microkernel Used in Dependable Software Systems.

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Proceedings of the Computer Safety, 2009