Provably Secure, Usable, and Performant Enclaves in Multicore Processors Download pdf Tags: Project Highlight Slides Design Systems Formal Methods and Language-based Security Hardware Hardware Security security architecture 2115587 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Wed, 06/22/2022 - 13:48