44 citations · 84 across the 11 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
cs.OS2019★ 8 cited
MultiK: A Framework for Orchestrating Multiple Specialized Kernels
Hsuan-Chi Kuo, Akshith Gunasekaran, Yeongjin Jang +4
We present, MultiK, a Linux-based framework 1 that reduces the attack surface for operating system kernels by reducing code bloat. MultiK "orchestrates" multiple kernels that are s…
cs.OS2017
The Case for a Single System Image for Personal Devices
Beom Heyn Kim, Eyal de Lara, David Lie
Computing technology has gotten cheaper and more powerful, allowing users to have a growing number of personal computing devices at their disposal. While this trend is beneficial f…