Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dayeol Lee' in GoogleThis author has not been identified. Look up 'Kevin Cheang' in GoogleThis author has not been identified. Look up 'Alexander Thomas' in GoogleThis author has not been identified. Look up 'Catherine Lu' in GoogleThis author has not been identified. Look up 'Pranav Gaddamadugu' in GoogleThis author has not been identified. Look up 'Anjo Vahldiek-Oberwagner' in GoogleThis author has not been identified. Look up 'Mona Vij' in GoogleThis author has not been identified. Look up 'Dawn Song' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'Krste Asanovic' in Google

runs on WebDSL