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]
Abstract is missing.