Provable Privacy Workshop
Workshop Website
Jul 9 – Jul 10, 2012

The goal of this workshop is to discuss and promote the application of provable security techniques in the design of privacy-enhancing technologies (PETs).

Provable security is a validation technique for the design of cryptographic protocols where the protocol designer states the envisioned security properties and provides a mathematical proof that the proposed protocol satisfies the stated properties, usually by means of a reduction from a set of underlying mathematical or cryptographic assumptions.

Although several flavours of provable security exist, its general principles are widely adopted and even a requirement in the modern cryptographic community. Their use in the PETs community is somewhat less consistent, partially perhaps because of the complex distributed attack models of PETs, but partially also due to a divide between the PETs and cryptographic communities.

The goal of this workshop is to build a bridge between the cryptographic community and the PETs community with a number of invited talks and submitted presentations by prominent scientists from both fields.

Venue: Club Financiero de Vigo
Registration fee: 100 EUR per person covers coffee breaks and lunch on Tuesday 10th.