Christoph Baumann

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Venues

CoRR

IEEE Symposium on Security and Privacy

CLOUD

The Logic of Software. A Tasting Menu of Formal Methods

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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

Christoph Baumann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Baumann