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
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.