A Formal Foundation for Secure Remote Execution of Enclaves.

Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia

Browse the full CCS paper archive.