지시문을 활용한 동형암호 프로그램 코드 분할 컴파일러
Annotation-guided Code Partitioning Compiler for Homomorphic Encryption Program
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
클라우드 컴퓨팅이 널리 사용되면서, 데이터 유출에 대한 관심도 같이 증가하고 있다. 동형암호는 데이터를 암호화된 채로 클라우드 서버에서연산을 수행함으로써 해당 문제를 해결할 수 있다. 그러나, 프로그램 전체를 동형암호로 연산하는 것은 큰 오버헤드를 가지고 있다. 프로그램의일부분만 동형암호를 사용하는 것은 오버헤드를 줄일 수 있지만, 사용자가 직접 프로그램의 코드를 분할하는 것은 시간이 오래 걸리는 작업이고또한 에러를 발생시킬 수 있다. 이 연구는 지시문을 활용하여 동형암호 프로그램의 코드를 분할하는 컴파일러인 Heapa를 제시하였다. 사용자가프로그램에 클라우드 컴퓨팅 영역에 대한 코드를 지시문으로 삽입하면 Heapa는 클라우드 서버와 호스트사이의 통신 및 암호화를 적용시킨 계획을세우고, 분할된 프로그램을 생성한다. Heapa는 영역 단위의 지시문뿐만 아니라 연산 단위의 지시문도 사용가능하여 프로그램을 더 세밀한 단계로분할 가능하다. 이 연구에선 6개의 머신러닝 및 딥러닝 어플리케이션을 통해 컴파일러의 성능을 측정했으며, Heapa는 기존 동형암호를 활용한클라우드 컴퓨팅보다 3.61배 개선된 성능을 보여주었다
Abstract
Despite its wide application, cloud computing raises privacy leakage concerns because users should send their private data to thecloud. Homomorphic encryption (HE) can resolve the concerns by allowing cloud servers to compute on encrypted data without decryption. However, due to the huge computation overhead of HE, simply executing an entire cloud program with HE causes significant computation. Manually partitioning the program and applying HE only to the partitioned program for the cloud can reduce the computation overhead. However, the manual code partitioning and HE-transformation are time-consuming and error-prone. This work proposes a newhomomorphic encryption enabled annotation-guided code partitioning compiler, called Heapa, for privacy preserving cloud computing. Heapa allows programmers to annotate a program about the code region for cloud computing. Then, Heapa analyzes the annotatedprogram, makes a partition plan with a variable list that requires communication and encryption, and generates a homomorphic encryptionenabledpartitioned programs. Moreover, Heapa provides not only two region-level partitioning annotations, but also two instruction-levelannotations, thus enabling a fine-grained partitioning and achieving better performance. For six machine learning and deep learningapplications, Heapa achieves a 3.61 times geomean performance speedup compared to the non-partitioned cloud computing scheme.
참고문헌 (30)
- Z. Brakerski, "(Leveled)Fully Homomorphic Encryption without Bootstrapping", Proceedings of the 3rd Innovations in Theoretical Computer Science Conference, pp.309~325 (2012)
- J. Cheon, "A full RNS variant of approximate homomorphic encryption", Selected Areas in Cryptography (2019)
- J. Cheon, "Homomorphic encryption for arithmetic of approximate numbers", Advances in Cryptology-Asiacrypt, pp.409~437 (2017)
- I. Chillotti, "TFHE : Fast fully homomorphic encryption over the torus", Journal of Cryptology, pp.34~91 (2020)
- J. Fan, "Somewhat practical fully homomorphic encryption", Cryptology ePrint (2012)
- C. Gentry, "Fully homomorphic encryption using ideal lattices", Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing, pp.169~178 (2009)
- N. Giang, "Developing IoT applications in the fog : A distributed dataflow approach", Proceedings of 2015 International Conference on the Internet of Things (2015)
- N. Giang, "Distributed data flow: A programming model for the crowdsourced internet of things", Proceedings of the Doctoral Symposium of the 16th International Middleware Conference (2015)
- K. Hong, "Mobile fog: A programming model for large-scale applications on the internet of things" (2013), Proceedings of the Second ACM SIGCOMM Workshop on Mobile Cloud Computing
- R. Newton, "Wishbone : Profile-based partitioning for sensornet application", Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (2009)
- T. Szydlo, "Flow-based programming for IoT leveraging fog computing", IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (2017)
- R. Dathathri, "EVA : An encrypted vector arithmetic language and compiler for efficient homomorphic computation", Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (2020)
- Y. Lee, "ELASM : Error-latency-aware scale management for fully homomorphic encryption", 32nd USENIX Security Symposium (2023)
- Y. Lee, "HECATE : Performance-aware scale optimization for homomorphic encryption compiler", 2022 IEEE, 2022, 193~204
- A. Viand, "HECO : Fully homomorphic encryption compiler", 32nd USENIX Security Symposium (2023)
- J. Duchi, "Local privacy and statistical minimax rates", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (2013)
- C. Dwork, "Our data, ourselves : Privacy via distributed noise generation", Advances in Cryptology-Asiacrypt (2006)
- N. Holohan, "Optimal differentially private mechanisms for randomised response", IEEE Transactions on Information Forensics and Security (2017)
- P. Kairouz, "Discrete distri"bution estimatino under local privacy", International Conference on Machine Learning, pp.2436~2444 (2016)
- V. Kolesnikov, "Improved garbled circuit : Free XOR gates and applications", Proceedings of the 35th International Colloquium on Automata, Languages and Programming, pp.486~498 (2008)
- A. Shamir, "How to Share a Secret" (1979), Commun
- A. Yao, "How to generate and exchange secrets", 27th Annual Symposium on Foundations of Computer Science (1986)
- A. Choudhury, "Between a rock and a hard place : Interpolating between MPC and FHE", Advances in Cryptology-Asiacrypt (2013)
- N. Cao, "Privacy preserving multi-keyword ranked search over encrypted cloud data", IEEE Transactions on Parallel and Distributed Systems, pp.222~233 (2014)
- Z. Mo, "Two-Party Fine-Grained Assured Deletion of Outsourced Data in Cloud Systems", 2014 IEEE 34th International Conference on Distributed Computing Systems (2014)
- W. Sun, "Privacy-preserving multi-keyword text search in the cloud supporting similarity-based ranking", Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security (2013)
- Y. Tang, "Secure overlay cloud storage with access control and assured deletion", IEEE Transactions on Dependable and Secure Computing (2012)
- Z. Xia, "A secure and dynamic multi-keyword ranked search scheme over encrypted cloud data", IEEE Transactions on Parallel and Distributed Systems, pp.340~352 (2016)
- SEAL, "Microsoft SEAL (release 3.5.9)", ~ (2020)
- J. Kim, "CRT-based fully homomorphic encryption over the integers", Cryptology ePrint (2013)