TY  - RPRT
TI  - Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
AU  - Wesley B. Nuzzo
AU  - Samuel Dodson
AU  - Benjamin Houle
AU  - Tarakaram Gollamudi
AU  - Anitha Gollamudi
PY  - 2026
UR  - https://arxiv.org/abs/2609.02048
ID  - 2609.02048
ER  -