Moat: Verifying Confidentiality of Enclave Programs

Rohit Sinha, Sriram K. Rajamani, Sanjit S. Seshia, Kapil Vaswani. Moat: Verifying Confidentiality of Enclave Programs. In Indrajit Ray, Ninghui Li, Christopher Kruegel, editors, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-6, 2015. pages 1169-1184, ACM, 2015. [doi]

Abstract

Abstract is missing.