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 ]

  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 was generated by bibtex2html 1.99.