| 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 | 59 | 2016 |
| 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 | 53 | 2011 |
| 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 | 52 | 2009 |
| Lessons learned from microkernel verification--specification is the new bottleneck C Baumann, B Beckert, H Blasum, T Bormer arXiv preprint arXiv:1211.6186, 2012 | 35 | 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 | 22 | 2009 |
| Ingredients of operating system correctness C Baumann, B Beckert, H Blasum, T Bormer Embedded World Conference, Nuremberg, Germany, 2010 | 21 | 2010 |
| Better avionics software reliability by code verification C Baumann, B Beckert, H Blasum, T Bormer Proceedings, embedded world Conference, Nuremberg, Germany, 2009 | 21 | 2009 |
| 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 | 11 | 2016 |
| 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 | 8 | 2016 |
| Ownership-based order reduction and simulation in shared-memory concurrent computer systems C Baumann | 6 | 2014 |
| 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 | 5 | 2017 |
| 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 | 5 | 2015 |
| 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 | 4 | 2009 |
| Formal specification of the x87 floating-point instruction set C Baumann Master’s thesis, Saarland University, Germany, 2008 | 4 | 2008 |
| Reordering and simulation in concurrent systems C Baumann Technical report, Saarland University, Saarbrücken, 2012 | 3 | 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 | 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 | 1 | 2019 |
| 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 | 1 | 2018 |
| Number Formats and Boolean Algebra WJ Paul, C Baumann, P Lutsyk, S Schmaltz System Architecture, 33-50, 2016 | 1 | 2016 |
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyVerified email at kit.edu
