Christoph Baumann

Postdoctoral Researcher, Theoretical Computer Science
School of Computer Science and Communication

c...@kth.se

Lindstedtsvägen 3, Building D, level 5, room 4525
SE-100 44 Stockholm, Sweden

Tel.: +46 8 790 6937

My research interests include the formal specification and verification of operating systems and hypervisors, information flow security, processor models, concurrency and weakly consistent memory, as well as gate-level hardware design and verification. I'm currently involved in the formal verification of hypervisors for embedded systems (PROSPER) and COTS platforms (HASPOC).

Education

2014 Phd in Computer Science
Thesis: "Ownership-Based Order Reduction and Simulation in Shared-Memory Concurrent Computer Systems"|view|errata
Institute for Computer Architecture and Parallel Computing, Saarland University, Saarbrücken

2008 Diploma thesis in Computer and Communications Technology
Thesis: "Formal Specification of the x87 Floating-Point Instruction Set"|view
Institute for Computer Architecture and Parallel Computing, Saarland University, Saarbrücken

Publications: Books

  1. Wolfgang J. Paul and Christoph Baumann and Petro Lutsyk and Sabine Schmaltz. "System Architecture. An Ordinary Engineering Discipline". Springer International Publishing, 2016|view

Publications: Papers

  1. Guanciale, Roberto and Nemati, Hamed and Dam, Mads and Baumann, Christoph. "Provably secure memory isolation for Linux on ARM." Journal of Computer Security, vol. 24, no. 6, pp. 793-837, 2016|view
  2. Baumann, Christoph and Näslund, Mats and Gehrmann, Christian and Schwarz, Oliver and Thorsen, Hans. "A high assurance virtualization platform for ARMv8," 2016 European Conference on Networks and Communications (EuCNC), Athens, 2016, pp. 210-214|view
  3. Guanciale, Roberto and Nemati, Hamed and Baumann, Christoph and Dam, Mads. "Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures". 37th IEEE Symposium on Security and Privacy, 2016|view
  4. Chen, De-Jiu and Meinke, Karl and Östberg, Kenneth and Asplund, Fredrik and Baumann, Christoph. "A Knowledge in-the-Loop Approach to Integrated Safety&Security for Cooperative Systems-of-Systems". IEEE Seventh International Conference on Intelligent Computing and Information Systems, 2015|view
  5. Baumann, Christoph and Beckert, Bernhard and Blasum, Holger and Bormer, Thorsten. "Lessons Learned From Microkernel Verification --- Specification is the New Bottleneck". In Cassez, Franck and Huuck, Ralf and Klein, Gerwin and Schlich, Bastian, editors, Proceedings Seventh Conference on Systems Software Verification, Sydney, Australia, 28-30 November 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pages 18-32, Open Publishing Association, 2012|view
  6. Baumann, C. and Blasum, H. and Bormer, T. and Tverdyshev, S. "Proving Memory Separation in a Microkernel by Code Level Verification". In Wilfried Steiner and Roman Obermaisser, editors, 1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011), Newport Beach, CA, USA, IEEE Computer Society, 2011.|view
  7. Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. "Ingredients of Operating System Correctness". In Sturm, M., editors, embedded world 2010 proceedings & conference materials, Nuremberg, Germany, WEKA FACHMEDIEN GmbH, 2010. ISBN 978-3-7723-1012|view
  8. Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. "Formal Verification of a Microkernel Used in Dependable Software Systems". In Buth, Bettina; Rabe, Gerd; Seyfarth, Till , editors, Computer Safety, Reliability, and Security (Safecomp 2009), volume 5775 of Lecture Notes in Computer Science, pages 187-200, Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-04467|view
  9. Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. "Better Avionics Software Reliability by Code Verification". In Sturm, M., editors, embedded world 2009 proceedings & conference materials, Nuremberg, Germany, WEKA FACHMEDIEN GmbH, 2009. ISBN 978-3-642-04467|view