TASTY: tool for automating secure two-party computations

Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the outcome. Existing cryptographic compilers can automatically generate secure computation protocols from high-level specifications, but are often limited in their use and efficiency of generated protocols as they are based on either garbled circuits or (additively) homomorphic encryption only. In this paper we present TASTY, a novel tool for automating, i.e., describing, generating, executing, benchmarking, and comparing, efficient secure two-party computation protocols. TASTY is a new compiler that can generate protocols based on homomorphic encryption and efficient garbled circuits as well as combinations of both, which often yields the most efficient protocols available today. The user provides a high-level description of the computations to be performed on encrypted data in a domain-specific language. This is...

• Type: Conference
• Year: 2010
• Where: CCS
• Authors: Wilko Henecka, Stefan Kögl, Ahmad-Reza Sadeghi, Thomas Schneider 0003, Immo Wehrenberg
• Keywords: CCS 2010, Homomorphic Encryption, Secure Two-party Computation, Security Privacy, Two-party Computation