TY  - RPRT
TI  - Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
AU  - Dayeol Lee
AU  - Kevin Cheang
AU  - Alexander Thomas
AU  - Catherine Lu
AU  - Pranav Gaddamadugu
AU  - Anjo Vahldiek-Oberwagner
AU  - Mona Vij
AU  - Dawn Song
AU  - Sanjit A. Seshia
AU  - Krste Asanović
PY  - 2022
DO  - 10.1145/3548606.3560595
UR  - https://arxiv.org/abs/2209.15253
ID  - 2209.15253
ER  -