Concepedia

Christoph Baumann

CB

6

Publications

212

Citations

6

H-Index

2011

Active since

Affiliations

KTH Royal Institute of Technology(Current)

Ericsson (Sweden)

Saarland University

Karlsruhe Institute of Technology

Christoph Baumann is an author at KTH Royal Institute of Technology specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationComputer ArchitectureSystem SoftwareHardware SecuritySoftware AnalysisSystems EngineeringComputer EngineeringInformation Security

Publications per year

2011–2021

6

Publications

6

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures

Roberto Guanciale, Hamed Nemati, Christoph Baumann et al. · 2016 · 70 citations · Full text

Engineering, Information Security, Computer Architecture +17

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 41 citations · Full text

Software Maintenance, Engineering, Verisoft Xt Project +24

Network Policies in Kubernetes: Performance Evaluation and Security Analysis

Gerald Budigiri, Christoph Baumann, Jan Tobias Mühlberg et al. · 2021 · 40 citations · Full text

Network Isolation, Engineering, Edge Device +14

Proving Memory Separation in a Microkernel by Code Level Verification

Christoph Baumann, Thorsten Bormer, Holger Blasum et al. · 2011 · 33 citations

Engineering, Hardware Verification Language, Pikeos Separation Kernel +23

Provably secure memory isolation for Linux on ARM

Roberto Guanciale, Hamed Nemati, Mads Dam et al. · Journal of Computer Security · 2016 · 15 citations · Full text

Engineering, Information Security, Computer Architecture +20

Rows per page

1–5 of 6