Preprint
Sep 2026
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone cannot enforce information-flow security. This problem is further aggravated in LLVM-like low-level languages that allow unrestricted pointer...
Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle et al.
· 0 citations