Lessons learned with PCF Scaling Secure Computation Ben Kreuter, abhi shelat Workshop on language support for Privacy Enhancing Technologies (PETSHOP) 2013