Eleos: ExitLess OS Services for SGX Enclaves
Cooperation and security isolation of library OSes for multi-process applications