@misc{indiciae43b09128ee58,
  title = {Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM},
  author = {Wesley B. Nuzzo and Samuel Dodson and Benjamin Houle and Tarakaram Gollamudi and Anitha Gollamudi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.02048},
  note = {Source identifier: 2609.02048}
}