Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
by Dayeol Lee and
Kevin Cheang and
Alexander Thomas and
Catherine Lu and
Pranav Gaddamadugu and
Anjo Vahldiek-Oberwagner and
Mona Vij and
Dawn Song and
Sanjit A. Seshia and
Krste Asanovic