Christoph Baumann

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Compositional Verification of Security Properties for Embedded Execution Platforms

Christoph Baumann and others (2017) · EPiC series in computing

Provably secure memory isolation for Linux on ARM

Roberto Guanciale and others (2016) · Journal of Computer Security · IOS Press

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association