Login / Signup

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.

Dayeol LeeKevin CheangAlexander ThomasCatherine LuPranav GaddamaduguAnjo Vahldiek-OberwagnerMona VijDawn SongSanjit A. SeshiaKrste Asanovic
Published in: CCS (2022)
Keyphrases
  • lightweight
  • databases
  • computationally efficient
  • cost effective
  • information sharing
  • memory requirements
  • main memory
  • highly efficient
  • memory usage
  • computing power