MicroTEE: Designing TEE OS Based on the Microkernel Architecture.

Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan

Browse the full TrustCom paper archive.