LibrettOS: a dynamically adaptable multiserver-library OS. - Ruslan Nikolaev 001; Mincheol Sung; Binoy Ravindran (VEE, 2020)

Intra-unikernel isolation with Intel memory protection keys. - Mincheol Sung; Pierre Olivier; Stefan Lankes; Binoy Ravindran (VEE, 2020)

Improving Operating System Security, Reliability, and Performance through Intra-Unikernel Isolation, Asynchronous Out-of-kernel IPC, and Advanced System Servers. - Mincheol Sung (2023)