PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Baumann, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Proving Memory Separation in a Microkernel by Code Level Verification.

, , , and . ISORC Workshops, page 25-32. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Baumann University of Stuttgart

Martin Baumann University of Stuttgart

Dr. -Ing. Matthias Baumann University of Stuttgart

Dr. Susanne Baumann University of Stuttgart

Martin Baumann

 

Other publications of authors with the same name

Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck, , , and . SSV, volume 102 of EPTCS, page 18-32. (2012)Simulation of the System-Wide Impact of Power-to-Gas Energy Storages by Multi-stage Optimization., , and . OR, page 25-30. Springer, (2014)Ownership-based order reduction and simulation in shared-memory concurrent computer systems.. Saarland University, (2014)System Architecture - An Ordinary Engineering Discipline, , , and . Springer, (2016)Provably secure memory isolation for Linux on ARM., , , and . Journal of Computer Security, 24 (6): 793-837 (2016)Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures., , , and . IEEE Symposium on Security and Privacy, page 38-55. IEEE Computer Society, (2016)On the verification of system-level information flow properties for virtualized execution platforms., , and . J. Cryptographic Engineering, 9 (3): 243-261 (2019)A high assurance virtualization platform for ARMv8., , , , and . EuCNC, page 210-214. IEEE, (2016)Proving Memory Separation in a Microkernel by Code Level Verification., , , and . ISORC Workshops, page 25-32. IEEE Computer Society, (2011)Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels., , , and . POST, volume 10804 of Lecture Notes in Computer Science, page 109-133. Springer, (2018)