PSec: Programming Secure Distributed Systems using Enclaves. - Shivendra Kushwah; Ankush Desai; Pramod Subramanyan; Sanjit A. Seshia (AsiaCCS, 2021)