November 3-5, 2004, INRIA, Versailles, Paris.
http://www.cs.bris.ac.uk/Research/CryptographySecurity/Workshop_Provable_Security.htmlWorkshop Slides
| SPEAKER | TITLE |
| Alex Dent | Game hopping proof techniques |
| David Pointcheval | Provable Security and Ideal Models |
| Caroline Kudla | Modelling the security of Two-Party key agreement protocols |
| Marc Fischlin | Re-Revisiting the Random Oracle Methodology in Cryptology Contact the author for the slides. |
| Moti Yung | TBA |
| Endre-Felix Bangerter | Efficient Proofs Of Knowledge of a Preimage of a Group Homomorphism with Unknown Order of the Co-Domain |
| David Galindo | The Exact Security of Pairing Based Encryption and Signature Schemes |
| Shai Halevi | Universally Composable Password-Based Key Exchange |
| Mario Di Raimondo | Alternative Methods for Deniable Authentication |
| Tatsuaki Okamoto | TBA |
| Maria Isabel Glez. Vasco | Constructing group based provably secure schemes: a methodology |
| Michel Abdalla | Notions of security for password-based authenticated key exchange |
| Douglas Wikstrom | Attacks against against a mix-net of Golle, Zhong, Boneh, Jakobsson and Juels |
| Yevgeniy Dodis | Provable cryptography based on biometrics and other noisy data |
| Ron Cramer | Practical Non-Interactive Zero-Knowledge Proofs |