Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia. PSec: Programming Secure Distributed Systems using Enclaves. In Jiannong Cao 0001, Man Ho Au, Zhiqiang Lin, Moti Yung, editors, ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, Virtual Event, Hong Kong, June 7-11, 2021. pages 802-816, ACM, 2021. [doi]
@inproceedings{KushwahDSS21,
title = {PSec: Programming Secure Distributed Systems using Enclaves},
author = {Shivendra Kushwah and Ankush Desai and Pramod Subramanyan and Sanjit A. Seshia},
year = {2021},
doi = {10.1145/3433210.3453113},
url = {https://doi.org/10.1145/3433210.3453113},
researchr = {https://researchr.org/publication/KushwahDSS21},
cites = {0},
citedby = {0},
pages = {802-816},
booktitle = {ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, Virtual Event, Hong Kong, June 7-11, 2021},
editor = {Jiannong Cao 0001 and Man Ho Au and Zhiqiang Lin and Moti Yung},
publisher = {ACM},
isbn = {978-1-4503-8287-8},
}