Static Analysis with Set-Closure in Secrecy
Lecture Notes in Computer Science(2015)
摘要
We report that the homomorphic encryption scheme can unleash the possibility of static analysis of encrypted programs. Static analysis in cipher-world is desirable in the static-analysis-as-a-service setting, because it allows the program owners to encrypt and upload their programs to the static analysis service while the service provider can still analyze the encrypted programs without decrypting them. Only the owner of the decryption key (the program owner) is able to decrypt the analysis result. As a concrete example, we describe how to perform a pointer analysis in secrecy. In our method, a somewhat homomorphic encryption scheme of depth O(log m) is able to evaluate a simple pointer analysis with O(log m) homomorphic matrix multiplications, for the number m of pointer variables when the maximal pointer level is bounded. We also demonstrate the viability of our method by implementing the pointer analysis in secrecy.
更多查看译文
关键词
Somewhat Homomorphic Encryption (SWHE), Program Owner, HE Scheme, Ciphertext Packing, SWHE Schemes
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络