Christoph Baumann
Christoph Baumann
Senior Researcher, Ericsson Security Research Sweden
Verified email at
Cited by
Cited by
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
Formal verification of a microkernel used in dependable software systems
C Baumann, B Beckert, H Blasum, T Bormer
International Conference on Computer Safety, Reliability, and Security, 187-200, 2009
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
Lessons learned from microkernel verification--specification is the new bottleneck
C Baumann, B Beckert, H Blasum, T Bormer
arXiv preprint arXiv:1211.6186, 2012
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
Better avionics software reliability by code verification
C Baumann, B Beckert, H Blasum, T Bormer
Proceedings, embedded world Conference, Nuremberg, Germany, 2009
Ingredients of operating system correctness
C Baumann, B Beckert, H Blasum, T Bormer
Embedded World Conference, Nuremberg, Germany, 2010
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
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
System Architecture: An Ordinary Engineering Discipline
WJ Paul, C Baumann, P Lutsyk, S Schmaltz
Springer, 2016
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
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
Ownership-based order reduction and simulation in shared-memory concurrent computer systems
C Baumann
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
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
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
Formal specification of the x87 floating-point instruction set
C Baumann
Master’s thesis, Saarland University, Saarbrücken, 2008
Reordering and simulation in concurrent systems
C Baumann
Technical report, Saarland University, Saarbrücken, 2012
Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009
C Baumann, B Beckert, H Blasum, T Bormer
Proceedings, chapter Formal Verification of a Microkernel Used in Dependable …, 0
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels
H Nemati, C Baumann, R Guanciale, M Dam
International Conference on Principles of Security and Trust, 109-133, 2018
The system can't perform the operation now. Try again later.
Articles 1–20