Philip D. MacKenzie Alina Oprea Michael K. Reiter Automatic generation of two-party computations. 210-219 2003 conf/ccs/2003 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/948109.948139 db/conf/ccs/ccs2003.html#MacKenzieOR03