SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors Download pdf Tags: 2115587 2022 Hardware Security Design Systems Posters Hardware Security Architecture Formal Methods and Language-based Security SaTC PI Meeting 2022 Poster License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:27