Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies

It is our great pleasure to welcome you to the First Workshop on Language Support for Privacy-Enhancing Technologies -- PETShop'13. The mission of this workshop is to bring together researchers from the areas of security, programming languages, compiler construction, and program verification to exchange ideas and research results to improve the practicality of state of the art cryptographic privacy-enhancing technologies. The workshop accepted 7 papers that cover the construction of compilers and security protocols for privacy-enhancing technologies. In addition, the program includes invited talks by Benny Pinkas and Nigel Smart. We thank the authors and invited speakers for providing the content of the program, we thank the ACM Conference on Computer and Communications Security for hosting our workshop, and we thank the Austrian National Research Network S11403 and S11405 (RiSE) of the Austrian Science Fund (FWF) for their support. We hope that you will find this program interesting and that the workshop will provide you with an opportunity to share ideas with other researchers from various research communities.