TY  - RPRT
TI  - ILA: Correctness via Type Checking for Fully Homomorphic Encryption
AU  - Tarakaram Gollamudi
AU  - Anitha Gollamudi
AU  - Joshua Gancher
PY  - 2025
UR  - https://arxiv.org/abs/2509.11559
ID  - 2509.11559
ER  -