S Lee, S Kim, C Song, B Woo, E Ahn, J Lee… - Proceedings of the 39th …, 2024 - dl.acm.org
Maintaining the trustworthiness of OS kernels is imperative in upholding any form of security
objective within a system. However, most commodity kernel designs are monolithic and …