Pramod Subramanyan, Rohit Sinha 0001, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia. A Formal Foundation for Secure Remote Execution of Enclaves. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 2435-2450, ACM, 2017. [doi]
Abstract is missing.