[TYPES/announce] CfP: PETShop - The Workshop on Language Support for Privacy Enhancing Technologies

Andreas Holzer andreas.holzer81 at gmail.com
Wed Jul 3 10:40:10 EDT 2013

*** apologies if you receive multiple copies of this CFP ***

====== CALL FOR PAPERS ======
PETShop: The Workshop on Language Support for Privacy Enhancing Technologies
November 4, 2013 Berlin, Germany

Website: http://www.forsyte.at/petshop-2013/

Aims and Scope
Privacy enhancing technologies (PETs) are necessary when untrusted platforms
compute on sensitive data, for example in a distributed setting or in cloud
computing. Cryptography offers a rich set of methods for privacy-preserving
computations, such as secure two- and multi-party computation (SMC) and
zero-knowledge (ZK) protocols. These systems enable distrusting parties to
collectively compute over their private inputs without revealing their data
to the other parties. A key step to make these technologies usable in practice
is the ability to compile from high-level languages, like C, into
cryptographic protocols. Such cryptographic compilers have only recently begun
to emerge, and they stand to benefit from decades of research in programming
languages, compiler construction, and program verification. We believe that
the concepts, methodologies, and tools developed in these areas of research
can help to make cryptographic PETs practically available.

PETShop is located at the crossroads of security, programming languages,
compiler construction, and program verification and aims to bring together
researchers from these different communities to exchange ideas and research
results to improve the practicality of state of the art cryptographic PETs.
The one-day workshop will be a combination of invited talks, tutorials, tool
presentations, and informal presentations.

Paper Submission
The workshop solicits short/work-in-progress/position-papers. Submitted papers
must be in ACM double-column format with at most 2 pages, including
bibliography. A paper submitted to this workshop must not be in parallel
submission to any other journal, magazine, conference or workshop with
proceedings. It is up to the authors to decide whether a submission should be
anonymous. Topics of interest include but are not limited to:

- Compiler optimizations for privacy-preserving computations, e.g., SMC or ZK
- Programming language support for privacy-preserving computations
- Execution environments for privacy-preserving computations
- Experience reports, use cases, and implementations of privacy-preserving
- Tool demonstrations

Submissions will be handled via EasyChair, the link is:
At least one author of each paper is expected to register and attend to
present the work.

Important Dates
- Paper submission: August 4, 2013 anywhere on earth
- Notification of acceptance/rejection: August 23, 2013
- Final version due: August 30, 2013

Martin Franz, Deutsche Bank, Germany
Andreas Holzer, Vienna University of Technology, Austria
Rupak Majumdar,	MPI SWS Kaiserslautern, Germany
Bryan Parno, Microsoft Research, USA
Helmut Veith, Vienna University of Technology, Austria

More information about the Types-announce mailing list