ILA: Correctness via Type Checking for Fully Homomorphic Encryption.

该论文提出了一种名为 ILA（Intermediate Language for FHE）的中间语言和类型系统，用于确保全同态加密（FHE）程序的正确性。FHE 允许在密文上进行任意计算，但现有 FHE 编译器容易引入错误，例如密文噪声管理

历史摘要 · 未重新核验 · ACM CCS