• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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