@misc{indiciaef9c41425a845,
  title = {ILA: Correctness via Type Checking for Fully Homomorphic Encryption},
  author = {Tarakaram Gollamudi and Anitha Gollamudi and Joshua Gancher},
  year = {2025},
  url = {https://arxiv.org/abs/2509.11559},
  note = {Source identifier: 2509.11559}
}