@misc{indiciaed3f53efe1beb,
  title = {Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing},
  author = {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 Asanović},
  year = {2022},
  doi = {10.1145/3548606.3560595},
  url = {https://arxiv.org/abs/2209.15253},
  note = {Source identifier: 2209.15253}
}