ProvSec 2007: Wollongong, Australia

Willy Susilo, Joseph K. Liu, Yi Mu (Eds.): Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings. Lecture Notes in Computer Science 4784 Springer 2007, ISBN 978-3-540-75669-9 BibTeX

Authentication

Brian A. LaMacchia, Kristin Lauter, Anton Mityagin:
Stronger Security of Authenticated Key Exchange. 1-16
Electronic Edition (link) BibTeX
Christophe Tartary, Huaxiong Wang, Josef Pieprzyk:
An Hybrid Approach for Efficient Multicast Stream Authentication over Unsecured Channels. 17-34
Electronic Edition (link) BibTeX

Vanesa Daza, Javier Herranz, Paz Morillo, Carla Ràfols:
CCA2-Secure Threshold Broadcast Encryption with Shorter Ciphertexts. 35-50
Electronic Edition (link) BibTeX
Palash Sarkar, Sanjit Chatterjee:
Construction of a Hybrid HIBE Protocol Secure Against Adaptive Attacks. 51-67
Electronic Edition (link) BibTeX

Takahiro Matsuda, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai:
A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function. 68-84
Electronic Edition (link) BibTeX
Rafael Castro, Ricardo Dahab:
Two Notes on the Security of Certificateless Signatures. 85-102
Electronic Edition (link) BibTeX
Lei Zhang, Futai Zhang, Wei Wu:
A Provably Secure Ring Signature Scheme in Certificateless Cryptography. 103-121
Electronic Edition (link) BibTeX

Sébastien Canard, Iwen Coisel, Jacques Traoré:
Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use. 122-137
Electronic Edition (link) BibTeX
Ahto Buldas, Aivo Jürgenson:
Does Secure Time-Stamping Imply Collision-Free Hash Functions? 138-150
Electronic Edition (link) BibTeX
Reynald Affeldt, Miki Tanaka, Nicolas Marti:
Formal Proof of Provable Security by Game-Playing in a Proof Assistant. 151-168
Electronic Edition (link) BibTeX

Raphael C.-W. Phan, Kim-Kwang Raymond Choo, Swee-Huay Heng:
Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication. 169-177
Electronic Edition (link) BibTeX
Wei Li, Dawu Gu:
An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security. 178-187
Electronic Edition (link) BibTeX
Ermaliza Razali, Raphael C.-W. Phan, Marc Joye:
On the Notions of PRP - RKA , KR and KR - RKA for Block Ciphers. 188-197
Electronic Edition (link) BibTeX

Jin Li, Tsz Hon Yuen, Kwangjo Kim:
Practical Threshold Signatures Without Random Oracles. 198-207
Electronic Edition (link) BibTeX
Jin Li, Kwangjo Kim, Fangguo Zhang, Xiaofeng Chen:
Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature. 208-217
Electronic Edition (link) BibTeX

Yang Cui, Eiichiro Fujisaki, Goichiro Hanaoka, Hideki Imai, Rui Zhang:
Formal Security Treatments for Signatures from Identity-Based Encryption. 218-227
Electronic Edition (link) BibTeX
Thomas Fuhr, Pascal Paillier:
Decryptable Searchable Encryption. 228-236
Electronic Edition (link) BibTeX