 |
Provable Privacy Workshop
July 9-10, 2012, Vigo, Spain
Program
Monday, July 9th, 2012
Tuesday, July 10th, 2012
| 9:00 - 10:00 |
Secure
metrology: From theory to practice
George Danezis |
| 10:00 - 10:30 |
Wide
Strong Private RFID Identification based on Zero-Knowledge
Roel Peeters and Jens Hermans
slides |
| 10:30 - 11:00 |
Computer-Aided
Privacy Proofs
Gilles Barthe, Benjamin Gregoire, César Kunz
and Santiago Zanella Béguelin
slides |
| 11:00 - 11:45 |
Coffee break |
| 11:45 - 12:45 |
Constant-Size
Commitments to Polynomials and Their Applications
Ian Goldberg
slides |
| 12:45 - 13:15 |
Vector Commitments
with Efficient Proofs
Alfredo Rial and Markulf Kohlweiss
slides |
| 13:15 - 14:30 |
Lunch break |
| 14:30 - 15:30 |
Provable
security meets the real world
Kenny Paterson
slides |
| 15:30 - 16:00 |
TLS
Compression Fingerprinting and a Privacy-aware API for
TLS
Karthikeyan Bhargavan, Cedric Fournet, Markulf
Kohlweiss, Alfredo Pironti and Pierre-Yves Strub
slides |
| 16:00 - 16:30 |
On the
Practical Use of Range Proofs
Sébastien Canard, Iwen Coisel, Amandine Jambert
and Jacques Traoré
slides |
| 16:30 - 17:15 |
Coffee break |
| 17:15 - 17:45 |
Efficient
and Secure Testing of Fully-Sequenced Human Genomes
Pierre Baldi, Roberta Baronio, Emiliano De Cristofaro,
Paolo Gasti and Gene Tsudik
slides |
| 17:45 - 18:15 |
Privacy
Preservation through Secure Multi-party Computation: Towards
Implementation
Paolo Palmieri and Olivier Pereira
slides |
| 18:15 - 18:45 |
Provably
Secure and Practical Online Behavioral Advertising
Michael Backes, Aniket Kate, Matteo Maffei and
Kim Pecina
slides |
| 18:45 - 19:00 |
Closing remarks |
|
|
|
