Automatic Generation of Two-Party Cryptographic Protocols

We present the design and implementation of a compiler that generates two-party cryptographic protocols automatically. We are motivated by the current gap between secure generic two-party computation protocols and efficient hand-tuned two-party protocols for particular primitives. To our knowledge, ours is the first automated tool that generates efficient two party protocols for a restricted but interesting class of cryptographic functions.