Print Email Facebook Twitter Kernel isolation of a Capability-based security Operating System Title Kernel isolation of a Capability-based security Operating System Author in 't Hout, Maarten (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Quantum Computer Architectures) Contributor Wong, Stephan (mentor) van Genderen, Arjan (graduation committee) Langendoen, Koen (graduation committee) Degree granting institution Delft University of Technology Date 2018-10-29 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. Subject Memory TaggingCapability-based securityGenodeInter Process CommunicationKernel Isolation To reference this document use: http://resolver.tudelft.nl/uuid:41767be9-f48f-468e-abf6-949dbd7cce96 Part of collection Student theses Document type master thesis Rights © 2018 Maarten in 't Hout Files PDF Master_scriptie_M_in_t_Hout.pdf 9.46 MB Close viewer /islandora/object/uuid:41767be9-f48f-468e-abf6-949dbd7cce96/datastream/OBJ/view