PSec: Programming Secure Distributed Systems using Enclaves.

Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia

Browse the full AsiaCCS paper archive.