ObliDC: An SGX-based Oblivious Distributed Computing Framework with Formal Proof

April 29, 2022 at 12:58 pm