Automating Efficient RAM-Model Secure Computation.

Chang Liu Yan Huang Elaine Shi Jonathan Katz Michael W. Hicks

Published in: IEEE Symposium on Security and Privacy (2014)

Keyphrases

computational model
prior knowledge
mathematical model
formal model
database
real time
probabilistic model
probability distribution
neural network
information retrieval
image segmentation
em algorithm
theoretical analysis
statistical model
prediction model
autoregressive