ObliDC: An SGX-based oblivious distributed computing framework with formal proof

• Main Authors: WU, Pengfei, SHEN, Qingni, DENG, Robert H., LIU, Ximeng, ZHANG, Yinghui, WU, Zhonghai
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Distributed computing systems; Formal proof; Intel SGX; Oblivious computation; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/4512; https://ink.library.smu.edu.sg/context/sis_research/article/5515/viewcontent/p86_wu.pdf
• Institution: Singapore Management University

Data privacy is becoming one of the most critical concerns in cloud computing. Several proposals based on Intel SGX such as VC3 and M2R have been introduced in the literature to protect data privacy during job execution in the cloud. However, a comprehensive formal proof of their security guarantees...