Provably Secure, Usable, and Performant Enclaves in Multicore Processors

  • Project Highlight Slides
  • Design Systems
  • Formal Methods and Language-based Security Hardware
  • Hardware Security
  • security architecture
  • 2115587
  • SaTC PI Meeting 2022
Submitted by Jason Gigax on