Invited Speakers >
Call for Papers >
Program >
Registration >
Travel >
Contact >

Provable Privacy Workshop

July 9-10, 2012, Vigo, Spain

Held in conjunction with PETS 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.

Organisation:  Jan Camenisch, IBM Research - Zurich, Switzerland
  Claudia Diaz, Katholieke Universiteit Leuven, Belgium
  Gregory Neven, IBM Research - Zurich, Switzerland
  Bart Preneel, Katholieke Universiteit Leuven, Belgium