collaborators

1 paper

cs.CR2026

Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM

Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle +2

Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone c…