PSec: Programming Secure Distributed Systems using Enclaves

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]

Authors

Shivendra Kushwah

This author has not been identified. Look up 'Shivendra Kushwah' in Google

Ankush Desai

This author has not been identified. Look up 'Ankush Desai' in Google

Pramod Subramanyan

This author has not been identified. Look up 'Pramod Subramanyan' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google