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]
@inproceedings{Subramanyan0LDS17,
title = {A Formal Foundation for Secure Remote Execution of Enclaves},
author = {Pramod Subramanyan and Rohit Sinha 0001 and Ilia A. Lebedev and Srinivas Devadas and Sanjit A. Seshia},
year = {2017},
doi = {10.1145/3133956.3134098},
url = {http://doi.acm.org/10.1145/3133956.3134098},
researchr = {https://researchr.org/publication/Subramanyan0LDS17},
cites = {0},
citedby = {0},
pages = {2435-2450},
booktitle = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017},
editor = {Bhavani M. Thuraisingham and David Evans and Tal Malkin and Dongyan Xu},
publisher = {ACM},
isbn = {978-1-4503-4946-8},
}