|
Provsec 2007
University of Wollongong
1st November - 2nd November 2007
University of Wollongong
Building 20 Room 1
Time 9:00am - 5:00pm
International Conference on Provable Security 2007
Provable Security 2007
(Wollongong, 1 November 2007 – 2 November 2007)
Program
Day 1. Thursday, 1 November 2007
09.00 – 09:30 Registration Open & Welcome Drink
09:30 – 09:45 Opening Ceremony:
Opening Address: Prof. Philip Ogunbona, TITR Director and
Head of School of Computer Science & Software
Engineering, University of Wollongong
Willy Susilo, PC Co-chair report
Yi Mu, General Chair business
Session 1. Invited Talk
(Session Chair: Willy Susilo)
09.45 – 10.45 Invited Talk.
Professor Colin Boyd, Queensland University of Technology
“On One-Pass Key Establishment”
-----------------------------------------------------------------------------------------------
10.45 – 11.00 Morning Tea Break
Session 2. Authenticaion
(Session Chair: Palash Sarkar)
11.00 – 11.30 Stronger Security of Authenticated Key Exchange
Brian LaMacchia, Kristin Lauter and Anton Mityagin
11.30 – 12.00 An Hybrid Approach for Efficient Multicast Stream
Authentication over Unsecured Channels
Christophe Tartary, Huaxiong Wang and Josef Pieprzyk
12.00 – 14.00 Lunch Break
Session 3. Asymmetric Encryption
(Session Chair: Josef Pieprzyk)
14.00 – 14.30 CCA-2 Secure Threshold Broadcast Encryption with Shorter
Ciphertext
Vanesa Daza, Javier Herranz, Paz Morillo and Carla Rafols
14.30 – 15.00 Construction of a Hybrid HIBE Protocol Secure Against
Adaptive Attacks (without Random Oracle)
Palash Sarkar and Sanjit Catterjee
15.00 – 15.30 Afternoon Tea Break
Session 4. Signature
(Session Chair: Huaxiong Wang)
15.30 – 16.00 A CDH-based Strongly Unforgeable Signature without Collision
Resistant Hash Function
Takahiro Matsuda, Nuttapong Attrapadung, Goichiro Hanaoka,
Kanta Matsuura and Hideki Imai
16.00 – 16.30 Two notes on the security of Certificateless Signatures
Rafael Castro and Ricardo Dahab
16.30 – 17.00 A Provably Secure Ring Signature Scheme in Certificateless
Cryptography
Lei Zhang, Futai Zhang and Wei Wu
19.00 - Conference Dinner
Day 2. Friday, 2 November 2007
Session 5. Protocol and Proving Technique
(Session Chair: Jennifer Seberry)
09.00 – 09.30 Complex Zero-Knowledge Proofs of Knowledge are Easy
To Use
Sebastien Canard, Iwen Coisel and Jacques Traore
09.30 – 10.00 Does Secure Time-Stamping Imply Collision-Free Hash
Functions?
Ahto Buldas and Aivo Jurgenson
10.00 – 10.30 Formal Proof of Provable Security by Game-Playing in a
Proof Assistant.
Reynald Affeldt, Miki Tanaka and Nicolas Marti
10.30 – 11.00 Morning Tea Break
Short Papers Presentation
Session 6. Authentication and Symmetric Encryption
(Session Chair: Miyako Ohkubo)
11.00 – 11.15 Security of a Leakage-Resilient Protocol for Key Establishment
And Mutual Authentication
Raphael C.-W. Phan, Kim-Kwang Raymond Choo and
Swee-Huay Heng
11.15 – 11.30 An Approach for Symmetric Encryption against Side Channel
Attacks in Provable Security
Wei Li and Dawu Gu
11.30 – 11.45 On the Notions of PRP-RKA, KR and KR-RKA for Block
Ciphers
Ermaliza Razali, Raphael C. –W. Phan and Marc Joye
Session 7. Signature
(Session Chair: Joseph K. Liu)
11.45 – 12.00 Practical Threshold Signatures without Random Oracles
Jin Li, Tsz Hon Yuen and Kwangjo Kim
12.00 – 12.15 Aggregate Proxy Signature and Verifiable Encrypted Proxy
Signature
Jin Li, Kwangjo Kim, Fangguo Zhang and Xiaofeng Chen
Session 8. Asymmetric Encryption
(Session Chair: Yi Mu)
12.15 – 12.30 Formal Security Treatments for Signatures from Identity-
Based Encryption
Yang Chui, Eiichiro Fujisaki, Goichiro Hanaoka, Hideki Imai,
and Rui Zhang
12.30 – 02.30 Lunch & Closing
Conference concludes
|
