Kernel isolation of a Capability-based security Operating System

Master thesis (2018)

Authors

M. in 't Hout Electrical Engineering, Mathematics and Computer Science

Contributors

J.S.S.M. Wong (supervisor 1)
A.J. van Genderen (supervisor 2)
K.G. Langendoen (supervisor 2)
Faculty
Electrical Engineering, Mathematics and Computer Science
Copyright: © 2018 Maarten in 't Hout
More Info
expand_more

Published Date

29-10-2018

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Abstract

Providing more confidentiality by extending a capability-based OS trough a hardware enforced isolation between the memory of the kernel and other memory. By employing memory tagging and hardware based Inter Process Communication (IPC) this defense gives an overhead of 26 percent.