Skip to main content
Open Access Publications from the University of California

UC Berkeley

UC Berkeley Previously Published Works bannerUC Berkeley

A Formal Foundation for Secure Remote Execution of Enclaves.

  • Author(s): Subramanyan, Pramod
  • Sinha, Rohit
  • Lebedev, Ilia A
  • Devadas, Srinivas
  • Seshia, Sanjit A
  • et al.
Main Content
Current View