S-OpenSGX: A system-level platform for exploring SGX enclave-based computing. - Changho Choi; Nohyun Kwak; Jin Soo Jang; DaeHee Jang; Kuenwhee Oh; Kyungsoo Kwag; Brent ByungHoon Kang (Comput. Secur., 2017)

Hypernel: a hardware-assisted framework for kernel protection without nested paging. - Donghyun Kwon; Kuenwhee Oh; Junmo Park; Seungyong Yang; Yeongpil Cho; Brent ByungHoon Kang; Yunheung Paek (DAC, 2018)