Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.

Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic

Browse the full CCS paper archive.