| 2024 | ICIN | Towards Intent-Based Scheduling for Performance and Security in Edge-to-Cloud Networks. | Jos Santos, Eddy Truyen, Christoph Baumann, Filip De Turck, Gerald Budigiri, Wouter Joosen |
| 2024 | NDSS | Efficient and Timely Revocation of V2X Credentials. | Gianluca Scopelliti, Christoph Baumann, Fritz Alder, Eddy Truyen, Jan Tobias Mhlberg |
| 2023 | DSN | Rewind & Discard: Improving Software Resilience using Isolated Domains. | Merve Glmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mhlberg |
| 2023 | DSN | Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. | Merve Glmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mhlberg |
| 2017 | CHES | Compositional Verification of Security Properties for Embedded Execution Platforms. | Christoph Baumann, Oliver Schwarz, Mads Dam |
| 2016 | SP | Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. | Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam |
| 2011 | ISORC | Proving Memory Separation in a Microkernel by Code Level Verification. | Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev |
| 2009 | SAFECOMP | Formal Verification of a Microkernel Used in Dependable Software Systems. | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |