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 | 113 | 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 | 64 | 2011 |
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 | 62 | 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 | 58 | 2012 |
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 | 39 | 2021 |
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 | 32 | 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 | 25 | 2016 |
Better avionics software reliability by code verification C Baumann, B Beckert, H Blasum, T Bormer Proceedings, embedded world Conference, Nuremberg, Germany, 2009 | 23 | 2009 |
Ingredients of operating system correctness C Baumann, B Beckert, H Blasum, T Bormer Embedded World Conference, Nuremberg, Germany, 2010 | 22 | 2010 |
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 | 20 | 2016 |
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 | 13 | 2015 |
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 | 11 | 2021 |
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 | 10 | 2023 |
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 | 7 | 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 | 6 | 2017 |
Ownership-based order reduction and simulation in shared-memory concurrent computer systems C Baumann Saarland University, 2014 | 6 | 2014 |
Rewind & Discard: Improving software resilience using isolated domains M Gülmez, T Nyman, C Baumann, JT Mühlberg 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023 | 4 | 2023 |
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, Saarbrücken, 2008 | 4 | 2008 |