Can microkernels mitigate microarchitectural attacks?
G Grimsdal, P Lundgren, C Vestlund, F Boeira… - Nordic Conference on …, 2019 - Springer
Microarchitectural attacks such as Meltdown and Spectre have attracted much attention
recently. In this paper we study how effective these attacks are on the Genode microkernel …
recently. In this paper we study how effective these attacks are on the Genode microkernel …
Capability-based Component Security Mechanism for Microkernel OS
Y Jiajia, L Meng, X Kun, C Lirong… - 2022 7th IEEE …, 2022 - ieeexplore.ieee.org
Most of the services on microkernel architecture operating system are decoupled and built
as independent component modules in user-mode. Therefore, how to use these …
as independent component modules in user-mode. Therefore, how to use these …
Component Management Framework for Operating System Based on Microkernel Architecture
W Hui, Z Lin, D Zhongqiang, Y Tianyu… - 2022 China …, 2022 - ieeexplore.ieee.org
Edge computing puts forward higher requirements on operating system in terms of security,
real-time and scalability. Operating systems based on microkernel architecture can …
real-time and scalability. Operating systems based on microkernel architecture can …
Examining the Impact of Microarchitectural Attacks on Microkernels: a study of Meltdown and Spectre
G Grimsdal, P Lundgren - 2019 - diva-portal.org
Most of today's widely used operating systems are based on a monolithic design and have a
very large code size which complicates verification of security-critical applications. One …
very large code size which complicates verification of security-critical applications. One …