Automatically optimizing secure computation

  title={Automatically optimizing secure computation},
  author={Florian Kerschbaum},
  booktitle={ACM Conference on Computer and Communications Security},
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, optimized protocols with high performance for special problems demand manual development and security verification. The question considered in this paper is: Can we construct a compiler that produces optimized protocols? We present an optimization technique based on logic inference about what is known from input and… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
29 Extracted Citations
6 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 29 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-6 of 6 references

Similar Papers

Loading similar papers…