Automating Efficient RAM-Model Secure Computation. Chang Liu, Yan Huang, Elaine Shi, Jonathan Katz, and Michael Hicks. In Proceedings of the IEEE Symposium on Security and Privacy (Oakland), May 2014.

RAM-model secure computation addresses the inherent limitations of circuit-model secure computation considered in almost all previous work. Here, we describe the first automated approach for RAM-model secure computation in the semi-honest model. We define an intermediate representation called SCVM and a corresponding type system suited for RAM-model secure computation. Leveraging compile-time optimizations, our approach achieves order-of-magnitude speedups compared to both circuit-model secure computation and the state-of-art RAM-model secure computation.

[ .pdf ]

@INPROCEEDINGS{liu14scram,
  AUTHOR = {Chang Liu and Yan Huang and Elaine Shi and Jonathan Katz and Michael Hicks},
  TITLE = {Automating Efficient {RAM}-Model Secure Computation},
  BOOKTITLE = {Proceedings of the {IEEE} Symposium on Security and Privacy (Oakland)},
  MONTH = MAY,
  YEAR = 2014
}

This file has been generated by bibtex2html 1.69