Moat: Verifying Confidentiality of Enclave Programs.

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Browse the full CCS paper archive.