Secure Two-Party Computation DSL