SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors

  • 2115587
  • 2022
  • Hardware Security Design Systems
  • Posters
  • Hardware Security Architecture
  • Formal Methods and Language-based Security
  • SaTC PI Meeting 2022
  • Poster
Submitted by Jason Gigax on