Moat: Verifying Confidentiality of Enclave Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rohit Sinha' in GoogleThis author has not been identified. Look up 'Sriram K. Rajamani' in GoogleThis author has not been identified. Look up 'Sanjit S. Seshia' in GoogleThis author has not been identified. Look up 'Kapil Vaswani' in Google

runs on WebDSL