Christoph Baumann

29 papers A* 2A 2B 2Misc 1Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Elastic Cross-Layer Orchestration of Network Policies in the Kubernetes Stack.
IEEE Trans. Netw. Serv. Manag.
Gerald Budigiri, Christoph Baumann, Eddy Truyen, Wouter Joosen
2024 A* conf
Efficient and Timely Revocation of V2X Credentials.
NDSS
Gianluca Scopelliti, Christoph Baumann, Fritz Alder, Eddy Truyen, Jan Tobias Mühlberg
2024 — conf
Performance Analysis and Optimizations of ERO2.0 Fusion Code.
PASC
Marta Garcia-Gasulla, Joan Vinyals-Ylla-Catala, Juri Romazanov, Christoph Baumann, Dmitry Matveev
2024 Misc conf
Towards Intent-Based Scheduling for Performance and Security in Edge-to-Cloud Networks.
ICIN
José Santos, Eddy Truyen, Christoph Baumann, Filip De Turck, Gerald Budigiri, Wouter Joosen
2024 — conf
Understanding Trust Relationships in Cloud-Based Confidential Computing.
EuroS&P Workshops
Gianluca Scopelliti, Christoph Baumann, Jan Tobias Mühlberg
2023 J jnl
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs.
ACM Trans. Priv. Secur.
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
2023 — conf
Exploring the Environmental Benefits of In-Process Isolation for Software Resilience.
DSN-S
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023 J jnl
Exploring the Environmental Benefits of In-Process Isolation for Software Resilience.
CoRR
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023 — conf
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust.
SecDev
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023 J jnl
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust.
CoRR
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023 A conf
Rewind & Discard: Improving Software Resilience using Isolated Domains.
DSN
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023 B conf
Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems.
CLOUD
Gerald Budigiri, Christoph Baumann, Eddy Truyen, Jan Tobias Mühlberg, Wouter Joosen
2022 — conf
A Case Study in Information Flow Refinement for Low Level Systems.
The Logic of Software. A Tasting Menu of Formal Methods
Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati
2022 J jnl
End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs.
CoRR
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
2022 J jnl
Unlimited Lives: Secure In-Process Rollback with Isolated Domains.
CoRR
Merve Turhan, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2021 — conf
Network Policies in Kubernetes: Performance Evaluation and Security Analysis.
EuCNC/6G Summit
Gerald Budigiri, Christoph Baumann, Jan Tobias Mühlberg, Eddy Truyen, Wouter Joosen
2021 A conf
On Compositional Information Flow Aware Refinement.
CSF
Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati
2019 J jnl
On the verification of system-level information flow properties for virtualized execution platforms.
J. Cryptogr. Eng.
Christoph Baumann, Oliver Schwarz, Mads Dam
2018 — conf
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
POST
Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam
2017 — conf
Compositional Verification of Security Properties for Embedded Execution Platforms.
PROOFS
Christoph Baumann, Oliver Schwarz, Mads Dam
2016 — conf
A high assurance virtualization platform for ARMv8.
EuCNC
Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, Hans Thorsen
2016 A* conf
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures.
IEEE Symposium on Security and Privacy
Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam
2016 J jnl
Provably secure memory isolation for Linux on ARM.
J. Comput. Secur.
Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann
2016 — book
System Architecture - An Ordinary Engineering Discipline
Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz
2014 — —
Ownership-based order reduction and simulation in shared-memory concurrent computer systems.
Christoph Baumann
2014 — conf
Simulation of the System-Wide Impact of Power-to-Gas Energy Storages by Multi-stage Optimization.
OR
Christoph Baumann, Julia Schleibach, Albert Moser
2012 — conf
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
SSV
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
2011 — conf
Proving Memory Separation in a Microkernel by Code Level Verification.
ISORC Workshops
Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev
2009 B conf
Formal Verification of a Microkernel Used in Dependable Software Systems.
SAFECOMP
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer