Formal Verification of a Microkernel Used in Dependable Software Systems. - Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer (SAFECOMP, 2009)

Proving Memory Separation in a Microkernel by Code Level Verification. - Christoph Baumann; Thorsten Bormer; Holger Blasum; Sergey Tverdyshev (ISORC Workshops, 2011)

Lessons Learned From Microkernel Verification – Specification is the New Bottleneck - Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer (SSV, 2012)

Simulation of the System-Wide Impact of Power-to-Gas Energy Storages by Multi-stage Optimization. - Christoph Baumann; Julia Schleibach; Albert Moser (OR, 2014)

Ownership-based order reduction and simulation in shared-memory concurrent computer systems. - Christoph Baumann (2014)

System Architecture - An Ordinary Engineering Discipline - Wolfgang J. Paul; Christoph Baumann; Petro Lutsyk; Sabine Schmaltz (Springer, 2016)

A high assurance virtualization platform for ARMv8. - Christoph Baumann; Mats Näslund; Christian Gehrmann; Oliver Schwarz; Hans Thorsen (EuCNC, 2016)

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. - Roberto Guanciale; Hamed Nemati; Christoph Baumann; Mads Dam (IEEE Symposium on Security and Privacy, 2016)

Provably secure memory isolation for Linux on ARM. - Roberto Guanciale; Hamed Nemati; Mads Dam; Christoph Baumann (J. Comput. Secur., 2016)

Compositional Verification of Security Properties for Embedded Execution Platforms. - Christoph Baumann; Oliver Schwarz; Mads Dam (PROOFS, 2017)

Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. - Hamed Nemati; Christoph Baumann; Roberto Guanciale; Mads Dam (POST, 2018)

On the verification of system-level information flow properties for virtualized execution platforms. - Christoph Baumann; Oliver Schwarz; Mads Dam (J. Cryptogr. Eng., 2019)

On Compositional Information Flow Aware Refinement. - Christoph Baumann; Mads Dam; Roberto Guanciale; Hamed Nemati (CSF, 2021)

Network Policies in Kubernetes: Performance Evaluation and Security Analysis. - Gerald Budigiri; Christoph Baumann; Jan Tobias Mühlberg; Eddy Truyen; Wouter Joosen (EuCNC/6G Summit, 2021)

A Case Study in Information Flow Refinement for Low Level Systems. - Roberto Guanciale; Christoph Baumann; Pablo Buiras; Mads Dam; Hamed Nemati (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Unlimited Lives: Secure In-Process Rollback with Isolated Domains. - Merve Turhan; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (CoRR, 2022)

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 (CLOUD, 2023)

Rewind & Discard: Improving Software Resilience using Isolated Domains. - Merve Gülmez; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (DSN, 2023)

Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. - Merve Gülmez; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (DSN-S, 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 (SecDev, 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., 2023)

Understanding Trust Relationships in Cloud-Based Confidential Computing. - Gianluca Scopelliti; Christoph Baumann; Jan Tobias Mühlberg (EuroS&P Workshops, 2024)

Towards Intent-Based Scheduling for Performance and Security in Edge-to-Cloud Networks. - José Santos 001; Eddy Truyen; Christoph Baumann; Filip De Turck; Gerald Budigiri; Wouter Joosen (ICIN, 2024)

Efficient and Timely Revocation of V2X Credentials. - Gianluca Scopelliti; Christoph Baumann; Fritz Alder; Eddy Truyen; Jan Tobias Mühlberg (NDSS, 2024)

Performance Analysis and Optimizations of ERO2.0 Fusion Code. - Marta Garcia-Gasulla; Joan Vinyals-Ylla-Catala; Juri Romazanov; Christoph Baumann; Dmitry Matveev (PASC, 2024)

Elastic Cross-Layer Orchestration of Network Policies in the Kubernetes Stack. - Gerald Budigiri; Christoph Baumann; Eddy Truyen; Wouter Joosen (IEEE Trans. Netw. Serv. Manag., 2025)