Christoph Baumann
Christoph Baumann
Senior Researcher, Ericsson Research Security Sweden
Bestätigte E-Mail-Adresse bei ericsson.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
582016
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
532011
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
502009
Lessons learned from microkernel verification--specification is the new bottleneck
C Baumann, B Beckert, H Blasum, T Bormer
arXiv preprint arXiv:1211.6186, 2012
322012
Ingredients of operating system correctness
C Baumann, B Beckert, H Blasum, T Bormer
Embedded World Conference, Nuremberg, Germany, 2010
212010
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
212009
Better avionics software reliability by code verification
C Baumann, B Beckert, H Blasum, T Bormer
Proceedings, embedded world Conference, Nuremberg, Germany, 2009
192009
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
112016
System Architecture: An Ordinary Engineering Discipline
WJ Paul, C Baumann, P Lutsyk, S Schmaltz
Springer, 2016
10*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
82016
Ownership-based order reduction and simulation in shared-memory concurrent computer systems
C Baumann
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
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
52015
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, Germany, 2008
42008
Reordering and simulation in concurrent systems
C Baumann
Technical report, Saarland University, Saarbrücken, 2012
32012
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
2
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
12019
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
12018
Number Formats and Boolean Algebra
WJ Paul, C Baumann, P Lutsyk, S Schmaltz
System Architecture, 33-50, 2016
12016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20