Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic. Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. In Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. pages 1871-1885, ACM, 2022. [doi]
Abstract is missing.