Follow
Christoph Baumann
Christoph Baumann
Senior Researcher, Ericsson Security Research Sweden
Verified email at ericsson.com
Title
Cited by
Cited by
Year
Cache storage channels: Alias-driven attacks and verified countermeasures
R Guanciale, H Nemati, C Baumann, M Dam
2016 IEEE Symposium on Security and Privacy (SP), 38-55, 2016
1122016
Formal verification of a microkernel used in dependable software systems
C Baumann, B Beckert, H Blasum, T Bormer
Computer Safety, Reliability, and Security: 28th International Conference …, 2009
652009
Proving memory separation in a microkernel by code level verification
C Baumann, T Bormer, H Blasum, S Tverdyshev
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
632011
Lessons learned from microkernel verification--specification is the new bottleneck
C Baumann, B Beckert, H Blasum, T Bormer
arXiv preprint arXiv:1211.6186, 2012
582012
Verifying the PikeOS microkernel: First results in the Verisoft XT Avionics project
C Baumann, T Bormer
Doctoral Symposium on Systems Software Verification (DS SSV’09) Real …, 2009
322009
Network policies in kubernetes: Performance evaluation and security analysis
G Budigiri, C Baumann, JT Mühlberg, E Truyen, W Joosen
2021 Joint European Conference on Networks and Communications & 6G Summit …, 2021
312021
Better avionics software reliability by code verification
C Baumann, B Beckert, H Blasum, T Bormer
Proceedings, embedded world Conference, Nuremberg, Germany, 2009
242009
Ingredients of operating system correctness
C Baumann, B Beckert, H Blasum, T Bormer
Embedded World Conference, Nuremberg, Germany, 2010
222010
Provably secure memory isolation for Linux on ARM
R Guanciale, H Nemati, M Dam, C Baumann
Journal of Computer Security 24 (6), 793-837, 2016
212016
A high assurance virtualization platform for ARMv8
C Baumann, M Näslund, C Gehrmann, O Schwarz, H Thorsen
2016 European Conference on Networks and Communications (EuCNC), 210-214, 2016
192016
System Architecture: An Ordinary Engineering Discipline
WJ Paul, C Baumann, P Lutsyk, S Schmaltz
Springer, 2016
13*2016
A Knowledge-in-the-loop approach to integrated safety&security for cooperative system-of-systems
DJ Chen, K Meinke, K Östberg, F Asplund, C Baumann
2015 IEEE Seventh International Conference on Intelligent Computing and …, 2015
132015
On compositional information flow aware refinement
C Baumann, M Dam, R Guanciale, H Nemati
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
102021
End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs
G Scopelliti, S Pouyanrad, J Noorman, F Alder, C Baumann, F Piessens, ...
ACM Transactions on Privacy and Security 26 (3), 1-46, 2023
72023
On the verification of system-level information flow properties for virtualized execution platforms
C Baumann, O Schwarz, M Dam
Journal of Cryptographic Engineering 9 (3), 243-261, 2019
72019
Ownership-based order reduction and simulation in shared-memory concurrent computer systems
C Baumann
Saarland University, 2014
62014
Compositional Verification of Security Properties for Embedded Execution Platforms
C Baumann, O Schwarz, M Dam
PROOFS 2017. 6th International Workshop on Security Proofs for Embedded …, 2017
52017
Verifying the PikeOS microkernel: An overview of the Verisoft XT avionics project
C Baumann, T Bormer
4th International Workshop on Systems Software Verification (SSV 2009 …, 2009
42009
Formal specification of the x87 floating-point instruction set
C Baumann
Master’s thesis, Saarland University, Saarbrücken, 2008
42008
Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems
G Budigiri, C Baumann, E Truyen, JT Mühlberg, W Joosen
2023 IEEE 16th International Conference on Cloud Computing (CLOUD), 249-261, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20