ILA: Correctness via Type Checking for Fully Homomorphic Encryption. - Tarakaram Gollamudi; Anitha Gollamudi; Joshua Gancher (CCS, 2025)