Login / Signup
ObliDC: An SGX-based Oblivious Distributed Computing Framework with Formal Proof.
Pengfei Wu
Qingni Shen
Robert H. Deng
Ximeng Liu
Yinghui Zhang
Zhonghai Wu
Published in:
AsiaCCS (2019)
Keyphrases
</>
distributed computing
formal proof
probabilistic model
distributed environment
fault tolerance
database
distributed systems
cloud computing
grid computing
cooperative
artificial neural networks
distributed computing systems