Secured Routines: Language-based Construction of Trusted Execution Environments.

Adrien Ghosn, James R. Larus, Edouard Bugnion

Browse the full USENIX paper archive.