Wu P, Shen Q, Deng RH, Liu X, Zhang Y, Wu Z. ObliDC: An SGX-based Oblivious Distributed Computing Framework with Formal Proof, in Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, AsiaCCS 2019, Auckland, New Zealand, July 09-12, 2019. ACM; 2019:86–99.